Abstract is missing.
- On the Verification of ML Systems and ModelsGreta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella. 3-12 [doi]
- RNN Generalization to Omega-Regular LanguagesCharles Pert, Dalal Alrajeh, Alessandra Russo. 15-21 [doi]
- Passive Learning of Lattice Automata from Recurrent Neural NetworksJaouhar Slimi, Tristan Le Gall, Augustin Lemesle. 23-32 [doi]
- NAMOR: a New Agda Library for Modal Extended SequentsRiccardo Borsetto, Margherita Zorzi. 33-40 [doi]
- First-Order Linear Temporal Logic for Testing Distributed ProtocolsJosé João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola. 41-48 [doi]
- Automata Cascades for Model CheckingLuca Geatti. 49-57 [doi]
- Fully Learnable Neural Reward MachinesHazem Dewidar, Elena Umili. 59-66 [doi]
- Towards Runtime Detection of Novel Traffic SituationsIshan Saxena, Dominik Grundt, Eike Möhlmann, Bernd Westphal. 69-76 [doi]
- Let the Music Flow Where the Modal Branches LeadLorenzo Balboni, Federico Manzella, Guido Sciavicco. 77-83 [doi]
- Run-time verification of robot-assisted surgery using visual inputKristina Gogoladze, Romy C. van Jaarsveld, Natasha Alechina, Ronald L. P. D. de Jong, Yasmina Al Khalil, Gino M. Kuiper, Brian Logan 0001, Jelle P. Ruurda. 85-91 [doi]
- Leveraging LLMs for Formal Software Requirements: Challenges and ProspectsArshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan. 95-105 [doi]
- A Proposal For Handling Query Ambiguity For Process Mining TasksLucas Fortunato Das Neves, Chrysoula Zerva, Alessandro Gianola. 107-115 [doi]
- Learning to Coordinate without Communication under Incomplete InformationShenghui Chen, Shufang Zhu 0001, Giuseppe De Giacomo, Ufuk Topcu. 119-126 [doi]
- Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus - Extended AbstractGiuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli. 127-132 [doi]
- Circuit Complexity Meets Discrete Ordinary Differential Equations: An OverviewMelissa Antonelli, Arnaud Durand 0001, Juha Kontinen. 135-142 [doi]
- From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek ReadingCosimo Perini Brogi. 143-152 [doi]
- Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based propertiesRaik Dankworth, Gesina Schwalbe. 153-165 [doi]
- RLRom: Monitoring and Training Reinforcement Learning Agents using Signal Temporal LogicAna María Gómez-Ruiz, Alexandre Donzé, Thao Dang. 167-172 [doi]
- A Proof System with Causal Labels (Part I): checking Individual Fairness and IntersectionalityLeonardo Ceragioli, Giuseppe Primiero. 173-179 [doi]
- A Proof System with Causal Labels (Part II): checking Counterfactual FairnessLeonardo Ceragioli, Giuseppe Primiero. 181-187 [doi]
- False Positives in Robustness Checking of Neural NetworksMohammad Afzal, Ashutosh Gupta 0001, R. Venkatesh 0001, S. Akshay 0001. 189-197 [doi]
- Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and ChallengesAlessandro Gianola, Chrysoula Zerva. 199-208 [doi]
- Reasoning on Privacy PoliciesYilian Huang, Cosimo Perini Brogi, Rocco De Nicola. 209-218 [doi]
- Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learningSandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud. 219-225 [doi]