default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th OVERLAY 2025: Bologna, Italy
- Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta:
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. CEUR Workshop Proceedings 4142, CEUR-WS.org 2025
Short Papers Technical Track
- Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella:
On the Verification of ML Systems and Models. 3-12 - Charles Pert, Dalal Alrajeh, Alessandra Russo:
RNN Generalization to Omega-Regular Languages. 15-21 - Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle:
Passive Learning of Lattice Automata from Recurrent Neural Networks. 23-32 - Riccardo Borsetto, Margherita Zorzi:
NAMOR: a New Agda Library for Modal Extended Sequents. 33-40 - José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola:
First-Order Linear Temporal Logic for Testing Distributed Protocols. 41-48 - Luca Geatti:
Automata Cascades for Model Checking. 49-57 - Hazem Dewidar, Elena Umili:
Fully Learnable Neural Reward Machines. 59-66 - Ishan Saxena, Dominik Grundt, Eike Möhlmann, Bernd Westphal:
Towards Runtime Detection of Novel Traffic Situations. 69-76 - Lorenzo Balboni, Federico Manzella, Guido Sciavicco:
Let the Music Flow Where the Modal Branches Lead. 77-83 - Kristina Gogoladze, Romy C. van Jaarsveld, Natasha Alechina, Ronald L. P. D. de Jong, Yasmina Al Khalil, Gino M. Kuiper, Brian Logan, Jelle P. Ruurda:
Run-time verification of robot-assisted surgery using visual input. 85-91 - Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan:
Leveraging LLMs for Formal Software Requirements: Challenges and Prospects. 95-105 - Lucas Fortunato Das Neves, Chrysoula Zerva, Alessandro Gianola:
A Proposal For Handling Query Ambiguity For Process Mining Tasks. 107-115 - Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu:
Learning to Coordinate without Communication under Incomplete Information. 119-126 - Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli:
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus - Extended Abstract. 127-132 - Melissa Antonelli, Arnaud Durand, Juha Kontinen:
Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview. 135-142 - Cosimo Perini Brogi:
From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading. 143-152 - Raik Dankworth, Gesina Schwalbe:
Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties. 153-165 - Ana María Gómez-Ruiz, Alexandre Donzé, Thao Dang:
RLRom: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic. 167-172 - Leonardo Ceragioli, Giuseppe Primiero:
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality. 173-179 - Leonardo Ceragioli, Giuseppe Primiero:
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness. 181-187 - Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay:
False Positives in Robustness Checking of Neural Networks. 189-197 - Alessandro Gianola, Chrysoula Zerva:
Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and Challenges. 199-208 - Yilian Huang, Cosimo Perini Brogi, Rocco De Nicola:
Reasoning on Privacy Policies. 209-218 - Sandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud:
Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning. 219-225
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 2026-03-09 22:00 CET 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:
