Abstract is missing.
- Learning Monitorable Operational Design Domains for Assured AutonomyHazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia. 3-22 [doi]
- Dynamic Shielding for Reinforcement Learning in Black-Box EnvironmentsMasaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo. 25-41 [doi]
- An Impossibility Result in Automata-Theoretic Reinforcement LearningErnst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. 42-57 [doi]
- Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid SystemsJulius Adelt, Daniel Brettschneider, Paula Herber. 58-74 [doi]
- SISL: Concolic Testing of Structured Binary Input Formats via Partial SpecificationSören Tempel, Vladimir Herdt, Rolf Drechsler. 77-82 [doi]
- Fence Synthesis Under the C11 Memory ModelSanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001. 83-99 [doi]
- Checking Scheduling-Induced Violations of Control Safety PropertiesAnand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty. 100-116 [doi]
- Symbolic Runtime Verification for Monitoring Under Uncertainties and AssumptionsHannes Kallwies, Martin Leucker, César Sánchez. 117-134 [doi]
- Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree TestAlessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani. 137-153 [doi]
- Verification of SMT Systems with QuantifiersAlessandro Cimatti, Alberto Griggio, Gianluca Redondi. 154-170 [doi]
- Projected Model Counting: Beyond Independent SupportJiong Yang 0002, Supratik Chakraborty, Kuldeep S. Meel. 171-187 [doi]
- Minimization of Automata for Liveness LanguagesBader Abu Radi, Orna Kupferman. 191-207 [doi]
- Temporal Causality in Reactive SystemsNorine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger 0001, Julian Siber. 208-224 [doi]
- PDAAAL: A Library for Reachability Analysis of Weighted Pushdown SystemsPeter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba. 225-230 [doi]
- Learning Deterministic One-Clock Timed Automata via Mutation TestingXiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan. 233-248 [doi]
- Active Learning of One-Clock Timed Automata Using Constraint SolvingRunqing Xu, Jie An, Bohua Zhan. 249-265 [doi]
- Learning and Characterizing Fully-Ordered Lattice AutomataDana Fisman, Sagi Saadon. 266-282 [doi]
- Optimistic and Topological Value Iteration for Simple Stochastic GamesMuqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger. 285-302 [doi]
- Alternating Good-for-MDPs AutomataErnst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. 303-319 [doi]
- PET - A Partial Exploration Tool for Probabilistic VerificationTobias Meggendorfer. 320-326 [doi]
- STOMPC: Stochastic Model-Predictive Control with Uppaal StrategoMartijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao. 327-333 [doi]
- Synthesis of Parametric Hybrid Automata from Time SeriesMiriam García Soto, Thomas A. Henzinger, Christian Schilling 0001. 337-353 [doi]
- Optimal Repair for Omega-Regular PropertiesVrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001. 354-370 [doi]
- Repairing Real-Time RequirementsReiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré. 371-387 [doi]
- An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksMatan Ostrovsky, Clark W. Barrett, Guy Katz. 391-396 [doi]
- Prioritizing Corners in OoD Detectors via Symbolic String ManipulationChih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem. 397-413 [doi]
- POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled SystemsChao Huang 0015, Jiameng Fan, Xin Chen, Wenchao Li 0001, Qi Zhu 0002. 414-430 [doi]