Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOVERLAY@AI*IA 2023: Rome, Italy
- Andrea Brunello, Alessandro Gianola, Fabio Mogavero:
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. CEUR Workshop Proceedings 3629, CEUR-WS.org 2024
Short Papers Technical Track
- Thao Dang:
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. 1-5 - Marco Sälzer, Eric Alsmann, Martin Lange:
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. 7-11 - Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Towards Machine Learning Enhanced LTL Monitoring. 13-19 - Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri:
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. 21-29 - Yannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach:
ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality. 31-36 - Francesco Chiariello:
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining. 37-42 - Guido Sciavicco:
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. 43-47 - Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan:
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. 49-53 - Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos:
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. 55-60 - Luca Olivieri, Luca Pasetto:
Towards Compliance of Smart Contracts with the European Union Data Act. 61-66 - Marco Favorito:
Forward LTLf Synthesis: DPLL At Work. 67-72 - Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic Services for LTLf Task Specification. 73-77 - Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. 79-84 - Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo:
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. 85-92 - Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi:
Clock Specifications for Temporal Tasks in Planning and Learning. 93-98
a service of 
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.
last updated on 2024-05-15 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
