default search action
4th OVERLAY@AI*IA 2022: Udine, Italy
- Luca Geatti, Guido Sciavicco, Alessandro Umbrico:
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. CEUR Workshop Proceedings 3311, CEUR-WS.org 2022
Short Papers Technical Track
- Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing:
Neural Network Verification with DSE. 1-6 - Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot:
Constrained Training of Neural Networks via Theorem Proving. 7-12 - Alessandro Gianola, Nicola Gigante:
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. 13-19 - Munyque Mittelmann:
Formally Reasoning about Strategies in Mechanisms. 21-26 - Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa:
Dynamic Controllability of Temporal Networks via Supervisory Control. 27-31 - Alessandro Burigana, Paolo Felli, Marco Montali:
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. 33-37 - Silvia Stranieri:
Reasoning about Reachability and Concurrency in DEL Games. 39-43 - Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano:
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. 45-50 - David Heik, Fouad Bahrpeyma, Dirk Reichelt:
An Application of Reinforcement Learning in Industrial Cyber-Physical Systems. 51-55 - Swantje Plambeck, Görschwin Fey:
Regression Trees for System Models and Prediction. 57-61 - Marco Esposito, Leonardo Picchiami:
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification. 63-71 - Alessandro Gianola:
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes. 73-79 - Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan:
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction. 81-85 - Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
A Modular SMT-based Approach for Data-aware Conformance Checking. 87-92 - Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli:
From POMDP Executions to Probabilistic Axioms. 93-98
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.