


default search action
21st ATVA 2023: Singapore - Part I
- É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
Invited Talk
- David A. Basin
, Srdan Krstic
, Joshua Schneider
, Dmitriy Traytel
:
Correct and Efficient Policy Monitoring, a Retrospective. 3-30
Automata
- Amit Gurung
, Masaki Waga
, Kohei Suenaga
:
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. 33-52 - Yong Li
, Sven Schewe
, Qiyi Tang
:
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. 53-73 - Oscar H. Ibarra, Ian McQuillan:
On the Containment Problem for Deterministic Multicounter Machine Models. 74-94 - Haoqing Zhu
, Yangge Li
, Keyi Shen
, Sayan Mitra
:
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. 95-114 - Dhruv Nevatia
, Benjamin Monmege
:
An Automata Theoretic Characterization of Weighted First-Order Logic. 115-133
Probabilistic Systems
- Kasper Engelen
, Guillermo A. Pérez
, Shrisha Rao
:
Graph-Based Reductions for Parametric and Weighted MDPs. 137-157 - Ying Liu
, Andrea Turrini
, Ernst Moritz Hahn
, Bai Xue
, Lijun Zhang
:
Scenario Approach for Parametric Markov Models. 158-180 - Arnd Hartmanns
, Bram Kohlen
, Peter Lammich
:
Fast Verified SCCs for Probabilistic Model Checking. 181-202 - Damien Busatto-Gaston
, Debraj Chakraborty
, Anirban Majumdar
, Sayan Mukherjee
, Guillermo A. Pérez
, Jean-François Raskin
:
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. 203-223
Synthesis
- Suguman Bansal
, Yong Li
, Lucas M. Tabajara
, Moshe Y. Vardi
, Andrew M. Wells
:
Model Checking Strategies from Synthesis over Finite Traces. 227-247 - Bernd Finkbeiner
, Jana Hofmann
, Florian Kohn
, Noemi Passing
:
Reactive Synthesis of Smart Contract Control Flows. 248-269 - Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. 270-291 - J. S. Sajiv Kumar
, Raghavan Komondoor
:
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. 292-311 - 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. 312-333 - Rafael Dewes, Rayna Dimitrova
:
Compositional High-Quality Synthesis. 334-354
Neural Networks
- Matin Ansaripour, Krishnendu Chatterjee
, Thomas A. Henzinger
, Mathias Lechner
, Dorde Zikelic
:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. 357-379 - Ye Tao
, Wanwei Liu
, Fu Song
, Zhen Liang
, Ji Wang
, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. 380-400 - Calvin Chau
, Jan Kretínský
, Stefanie Mohr
:
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. 401-421 - Mohammad Afzal
, Ashutosh Gupta
, S. Akshay
:
Using Counterexamples to Improve Robustness Verification in Neural Networks. 422-443

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.