- Omer Rappoport
, Orna Grumberg, Yakir Vizel:
Structure-Guided Solution of Constrained Horn Clauses. ATVA 2023: 117-138 - Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas:
Automated Property Directed Self Composition. ATVA 2023: 139-158 - Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA 2023: 72-92 - Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) 2023: 380-400 - Dimitrios Thanos, Tim Coopmans, Alfons Laarman:
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ATVA 2023: 199-216 - Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. ATVA (1) 2023: 312-333 - Zitong Zhou, Zixin Huang, Sasa Misailovic:
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ATVA 2023: 288-301 - Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra:
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) 2023: 95-114 - Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - 2022
- Julius Adelt, Daniel Brettschneider, Paula Herber:
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ATVA 2022: 58-74 - Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger:
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA 2022: 285-302 - Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA 2022: 397-413 - Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani:
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ATVA 2022: 137-153 - Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Verification of SMT Systems with Quantifiers. ATVA 2022: 154-170 - Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber:
Temporal Causality in Reactive Systems. ATVA 2022: 208-224 - Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair for Omega-Regular Properties. ATVA 2022: 354-370 - Dana Fisman, Sagi Saadon:
Learning and Characterizing Fully-Ordered Lattice Automata. ATVA 2022: 266-282 - Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao:
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA 2022: 327-333 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA 2022: 414-430 - Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba:
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA 2022: 225-230 - Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - Tobias Meggendorfer:
PET - A Partial Exploration Tool for Probabilistic Verification. ATVA 2022: 320-326 - Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré:
Repairing Real-Time Requirements. ATVA 2022: 371-387 - Matan Ostrovsky, Clark W. Barrett, Guy Katz:
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. ATVA 2022: 391-396 - Bader Abu Radi, Orna Kupferman:
Minimization of Automata for Liveness Languages. ATVA 2022: 191-207 - Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma:
Fence Synthesis Under the C11 Memory Model. ATVA 2022: 83-99 - Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. ATVA 2022: 337-353
