OVERLAY@AI*IA

Keyphrases

Publications

volume 3629, 2024

Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023. OVERLAY@AI*IA 3629 (2024)

2023

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA (2023)
Marco Favorito
Forward LTLf Synthesis: DPLL At Work. OVERLAY@AI*IA (2023)
Luca Olivieri, Luca Pasetto
Towards Compliance of Smart Contracts with the European Union Data Act. OVERLAY@AI*IA (2023)
Marco Sälzer, Eric Alsmann, Martin Lange
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. OVERLAY@AI*IA (2023)
Francesco Chiariello
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining information. OVERLAY@AI*IA (2023)
Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA (2023)
Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. OVERLAY@AI*IA (2023)
Thao Dang
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. OVERLAY@AI*IA (2023)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA (2023)
Yannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach
ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA (2023)
Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. OVERLAY@AI*IA (2023)
Luca Geatti, Angelo Montanari, Nicola Saccomanno
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA (2023)
Guido Sciavicco
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. OVERLAY@AI*IA (2023)

2022

volume 3311, 2022

Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. OVERLAY@AI*IA 3311 (2022)

volume 2509, 2020

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. OVERLAY@AI*IA 2509 (2020)

2019