2023-06-252023-06-25https://tore.tuhh.de/handle/11420/228964th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022