2023-11-222023-11-22https://publica.fraunhofer.de/handle/publica/457145Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2022