Vol-3904
urn:nbn:de:0074-3904-X




OVERLAY 2024
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024


Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis,

Bolzano, Italy, November 28—29, 2024.


Edited by

Daniele Porello *
Cosimo Vinci **
Matteo Zavatteri ***

* University of Genova, Genova, Italy
** University of Salento, Lecce, Italy
*** University of Padova, Padova, Italy





Table of Contents


Short Papers Technical Track


2024-12-27: submitted by Cosimo Vinci, metadata incl. bibliographic data published under Creative Commons CC0
2025-01-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|