| 2026 | Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings Meenakshi D'Souza, Raghavan Komondoor, B. Srivathsan |
| 2025 | Antarbhukti: Verifying Correctness of PLC Software During System Evolution. Soumyadip Bandyopadhyay, Santonu Sarkar |
| 2025 | Componentwise Automata Learning for System Integration. Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | Control Closure Certificates. Vishnu Murali, Mohammed Adib Oumer, Majid Zamani |
| 2025 | Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao |
| 2025 | Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates. Ludovico Battista, Stefano Tonetta |
| 2025 | Efficient Dynamic Shielding for Parametric Safety Specifications. Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez |
| 2025 | Energy Games with Weight Uncertainty. Orna Kupferman, Naama Shamash Halevy |
| 2025 | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2025 | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2025 | Inductive Generalization in Reinforcement Learning from Specifications. Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal |
| 2025 | Learning Event-Recording Automata Passively. Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin |
| 2025 | Learning Verified Monitors for Hidden Markov Models. Luko van der Maas, Sebastian Junges |
| 2025 | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2025 | PolyQEnt: A Polynomial Quantified Entailment Solver. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | Prompt Runtime Enforcement. Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur |
| 2025 | Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing. Sebastiaan Brand, Alfons Laarman |
| 2025 | Quantitative Strategy Templates. Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman |
| 2025 | TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid, Jirí Srba, Martin Zimmermann |
| 2025 | Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin |
| 2025 | Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games. Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo |