Accepted papers
We are glad to announce the papers accepted for presenting at the OVERLAY 2025 workshop. The workshop program will be announced shortly.
Papers
- Asger Horn Brorholt, Kim Guldstrand Larsen and Christian Schilling Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
- Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese and Giulio Ermanno Pibiri Verifiable Boosted Tree Ensembles
- Charles Pert, Dalal Alrajeh and Alessandra Russo RNN Generalization to Omega-Regular Languages Download
- Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi and Enea Zaffanella On the Verification of ML Systems and Models Download
- Jaouhar Slimi, Tristan Le Gall and Augustin Lemesle Passive Learning of Lattice Automata from Recurrent Neural Networks Download
- Arshad Beg, Diarmuid O'Donoghue and Rosemary Monahan Leveraging LLMs for Formal Software Requirements: Challenges and Prospects Download
- Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo and Ufuk Topcu Learning to Coordinate without Communication under Incomplete Information Download
- Ishan Saxena, Dominik Grundt, Eike Möhlmann and Bernd Westphal Towards Runtime Detection of Novel Traffic Situations Download
- Riccardo Borsetto and Margherita Zorzi NAMOR: a New Agda Library for Modal Extended Sequents Download
- Faezeh Labbaf, Tomáš Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand and Natasha Sharygina Space Explanations of Neural Network Classification
- Dennis Groß, Helge Spieker and Arnaud Gotlieb Verifying Memoryless Sequential Decision-making of Large Language Models
- Lucas Fortunato Das Neves, Chrysoula Zerva and Alessandro Gianola A Proposal For Handling Query Ambiguity For Process Mining Tasks Download
- José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha and Alessandro Gianola First-Order Linear Temporal Logic for Testing Distributed Protocols Download
- Luca Geatti Automata Cascades for Model Checking Download
- Celeste Veronese, Daniele Meli and Alessandro Farinelli Scaling DRL Training via Symbolic Knowledge Transfer
- Lorenzo Balboni, Federico Manzella and Guido Sciavicco Let the Music Flow Where the Modal Branches Lead
- Hazem Dewidar and Elena Umili Fully Learnable Neural Reward Machines Download
- Giuseppe De Giacomo, Yves Lespérance and Matteo Mancanelli Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus Download
- Kristina Gogoladze, Natasha Alechina, Romy van Jaarsveld, Ronald De Jong, Yasmina Al Khalil, Gino Kuiper, Brian Logan and Jelle P. Ruurda Run-time verification of robot-assisted surgery using visual input Download
Work-In-Progress papers
- Leonardo Ceragioli and Giuseppe Primiero A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality Download
- Cosimo Perini Brogi From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading Download
- Raik Dankworth and Gesina Schwalbe Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties Download
- Ana Maria Gomez-Ruiz, Alexandre Donzé and Thao Dang RLROM: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic Download
- Melissa Antonelli, Arnaud Durand and Juha Kontinen Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview Download
- Leonardo Ceragioli and Giuseppe Primiero A Proof System with Causal Labels (Part II): checking Counterfactual Fairness Download
- Mohammad Afzal, Ashutosh Gupta, R Venkatesh and S. Akshay False Positives in Robustness Checking of Neural Networks Download
- Alessandro Gianola and Chrysoula Zerva Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and Challenges Download
- Yilian Huang, Cosimo Perini Brogi and Rocco De Nicola Reasoning on Privacy Policies Download
- Sandamali Yashodhara Wickramasinghe, Jacob M. Howe and Laure Daviaud Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning Download