| 2022 | Active Learning of One-Clock Timed Automata Using Constraint Solving. Runqing Xu, Jie An, Bohua Zhan |
| 2022 | Alternating Good-for-MDPs Automata. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. Matan Ostrovsky, Clark W. Barrett, Guy Katz |
| 2022 | An Impossibility Result in Automata-Theoretic Reinforcement Learning. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings Ahmed Bouajjani, Lukás Holík, Zhilin Wu |
| 2022 | Checking Scheduling-Induced Violations of Control Safety Properties. Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
| 2022 | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2022 | Fence Synthesis Under the C11 Memory Model. Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma |
| 2022 | Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
| 2022 | Learning Deterministic One-Clock Timed Automata via Mutation Testing. Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan |
| 2022 | Learning Monitorable Operational Design Domains for Assured Autonomy. Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2022 | Learning and Characterizing Fully-Ordered Lattice Automata. Dana Fisman, Sagi Saadon |
| 2022 | Minimization of Automata for Liveness Languages. Bader Abu Radi, Orna Kupferman |
| 2022 | Optimal Repair for Omega-Regular Properties. Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi |
| 2022 | Optimistic and Topological Value Iteration for Simple Stochastic Games. Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger |
| 2022 | PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba |
| 2022 | PET - A Partial Exploration Tool for Probabilistic Verification. Tobias Meggendorfer |
| 2022 | POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu |
| 2022 | Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
| 2022 | Projected Model Counting: Beyond Independent Support. Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel |
| 2022 | Repairing Real-Time Requirements. Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré |
| 2022 | Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. Julius Adelt, Daniel Brettschneider, Paula Herber |
| 2022 | SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| 2022 | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao |
| 2022 | Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. Hannes Kallwies, Martin Leucker, César Sánchez |
| 2022 | Synthesis of Parametric Hybrid Automata from Time Series. Miriam García Soto, Thomas A. Henzinger, Christian Schilling |
| 2022 | Temporal Causality in Reactive Systems. Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | Verification of SMT Systems with Quantifiers. Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |