OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS

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

Disclaimer | Powered by EasyChair Smart Program