default search action
20th ATVA 2022: Virtual Event
- Ahmed Bouajjani
, Lukás Holík
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Lecture Notes in Computer Science 13505, Springer 2022, ISBN 978-3-031-19991-2
Invited Paper
- Hazem Torfah
Learning Monitorable Operational Design Domains for Assured Autonomy. 3-22
Reinforcement Learning
- Masaki Waga
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. 25-41 - Ernst Moritz Hahn
An Impossibility Result in Automata-Theoretic Reinforcement Learning. 42-57 - Julius Adelt, Daniel Brettschneider, Paula Herber:
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. 58-74
Program Analysis and Verification
- Sören Tempel
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. 77-82 - Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma:
Fence Synthesis Under the C11 Memory Model. 83-99 - Anand Yeolekar, Ravindra Metta, Clara Hobbs
Checking Scheduling-Induced Violations of Control Safety Properties. 100-116 - Hannes Kallwies
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 117-134
SMT and Verification
- Alessandro Cimatti, Alberto Griggio, Enrico Lipparini
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. 137-153 - Alessandro Cimatti
Verification of SMT Systems with Quantifiers. 154-170 - Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel:
Projected Model Counting: Beyond Independent Support. 171-187
Automata and Applications
- Bader Abu Radi
Minimization of Automata for Liveness Languages. 191-207 - Norine Coenen
Temporal Causality in Reactive Systems. 208-224 - Peter Gjøl Jensen
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. 225-230
Active Learning
- Xiaochen Tang
Learning Deterministic One-Clock Timed Automata via Mutation Testing. 233-248 - Runqing Xu
Active Learning of One-Clock Timed Automata Using Constraint Solving. 249-265 - Dana Fisman, Sagi Saadon:
Learning and Characterizing Fully-Ordered Lattice Automata. 266-282
Probabilistic and Stochastic Systems
- Muqsit Azeem
Optimistic and Topological Value Iteration for Simple Stochastic Games. 285-302 - Ernst Moritz Hahn
Alternating Good-for-MDPs Automata. 303-319 - Tobias Meggendorfer
PET - A Partial Exploration Tool for Probabilistic Verification. 320-326 - Martijn A. Goorden
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. 327-333
Synthesis and Repair
- Miriam García Soto
Synthesis of Parametric Hybrid Automata from Time Series. 337-353 - Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair for Omega-Regular Properties. 354-370 - Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré:
Repairing Real-Time Requirements. 371-387
Verification of Neural Networks
- Matan Ostrovsky
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. 391-396 - Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. 397-413 - Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. 414-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: