- Daniele Porello, Cosimo Vinci, Matteo Zavatteri, editors, Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024. Volume 3904 of CEUR Workshop Proceedings, CEUR-WS.org, 2025.
- Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta, editors, Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025. Volume 4142 of CEUR Workshop Proceedings, CEUR-WS.org, 2025.