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

  1. Asger Horn Brorholt, Kim Guldstrand Larsen and Christian Schilling
    Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
  2. Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese and Giulio Ermanno Pibiri
    Verifiable Boosted Tree Ensembles
  3. Charles Pert, Dalal Alrajeh and Alessandra Russo
    RNN Generalization to Omega-Regular Languages
  4. Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi and Enea Zaffanella
    On the Verification of ML Systems and Models
  5. Jaouhar Slimi, Tristan Le Gall and Augustin Lemesle Passive
    Learning of Lattice Automata from Recurrent Neural Networks
  6. Arshad Beg, Diarmuid O'Donoghue and Rosemary Monahan
    Leveraging LLMs for Formal Software Requirements: Challenges and Prospects
  7. Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo and Ufuk Topcu
    Learning to Coordinate without Communication under Incomplete Information
  8. Ishan Saxena, Dominik Grundt, Eike Möhlmann and Bernd Westphal
    Towards Runtime Detection of Novel Traffic Situations
  9. Riccardo Borsetto and Margherita Zorzi
    NAMOR: a New Agda Library for Modal Extended Sequents
  10. Faezeh Labbaf, Tomáš Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand and Natasha Sharygina
    Space Explanations of Neural Network Classification
  11. Dennis Groß, Helge Spieker and Arnaud Gotlieb
    Verifying Memoryless Sequential Decision-making of Large Language Models
  12. Lucas Fortunato Das Neves, Chrysoula Zerva and Alessandro Gianola
    A Proposal For Handling Query Ambiguity For Process Mining Tasks
  13. José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha and Alessandro Gianola
    First-Order Linear Temporal Logic for Testing Distributed Protocols
  14. Luca Geatti
    Automata Cascades for Model Checking
  15. Celeste Veronese, Daniele Meli and Alessandro Farinelli
    Scaling DRL Training via Symbolic Knowledge Transfer
  16. Lorenzo Balboni, Federico Manzella and Guido Sciavicco
    Let the Music Flow Where the Modal Branches Lead
  17. Hazem Dewidar and Elena Umili
    Fully Learnable Neural Reward Machines
  18. Giuseppe De Giacomo, Yves Lespérance and Matteo Mancanelli
    Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
  19. 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

Work-In-Progress papers

  1. Leonardo Ceragioli and Giuseppe Primiero
    A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
  2. Cosimo Perini Brogi
    From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading
  3. Raik Dankworth and Gesina Schwalbe
    Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties
  4. Ana Maria Gomez-Ruiz, Alexandre Donzé and Thao Dang
    RLROM: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic
  5. Melissa Antonelli, Arnaud Durand and Juha Kontinen
    Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview
  6. Leonardo Ceragioli and Giuseppe Primiero
    A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
  7. Mohammad Afzal, Ashutosh Gupta, R Venkatesh and S. Akshay
    False Positives in Robustness Checking of Neural Networks
  8. Alessandro Gianola and Chrysoula Zerva
    Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and Challenges
  9. Yilian Huang, Cosimo Perini Brogi and Rocco De Nicola
    Reasoning on Privacy Policies
  10. Sandamali Yashodhara Wickramasinghe, Jacob M. Howe and Laure Daviaud
    Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning