Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th ATVA 2022: Virtual Event
- Ahmed Bouajjani
, Lukás Holík, Zhilin Wu:
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, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. 3-22
Reinforcement Learning
- Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. 25-41 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
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, Vladimir Herdt, Rolf Drechsler:
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, Samarjit Chakraborty:
Checking Scheduling-Induced Violations of Control Safety Properties. 100-116 - Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 117-134
SMT and Verification
- Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani:
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. 137-153 - Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
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, Orna Kupferman:
Minimization of Automata for Liveness Languages. 191-207 - Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber:
Temporal Causality in Reactive Systems. 208-224 - Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba:
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. 225-230
Active Learning
- Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan:
Learning Deterministic One-Clock Timed Automata via Mutation Testing. 233-248 - Runqing Xu, Jie An, Bohua Zhan:
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, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger:
Optimistic and Topological Value Iteration for Simple Stochastic Games. 285-302 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. 303-319 - Tobias Meggendorfer:
PET - A Partial Exploration Tool for Probabilistic Verification. 320-326 - Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao:
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. 327-333
Synthesis and Repair
- Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
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, Clark W. Barrett, Guy Katz:
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
a service of 
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-06-29 00:44 CEST 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:
