Geatti, Luca2023-11-222023-11-222022https://publica.fraunhofer.de/handle/publica/457147en4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2022. Proceedings