4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2022. Proceedings

Hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022, OVERLAY, Formal Methods for AI