ATVA (1)

Publications

2023

J. S. Sajiv Kumar, Raghavan Komondoor
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. ATVA (1) (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. ATVA (1) (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) (2023)
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) (2023)
Mohammad Afzal, Ashutosh Gupta, S. Akshay
Using Counterexamples to Improve Robustness Verification in Neural Networks. ATVA (1) (2023)
Arnd Hartmanns, Bram Kohlen, Peter Lammich
Fast Verified SCCs for Probabilistic Model Checking. ATVA (1) (2023)
Rafael Dewes, Rayna Dimitrova
Compositional High-Quality Synthesis. ATVA (1) (2023)
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) (2023)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) (2023)
Derek Egolf, Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) (2023)
Oscar H. Ibarra, Ian McQuillan
On the Containment Problem for Deterministic Multicounter Machine Models. ATVA (1) (2023)
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) (2023)
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
Graph-Based Reductions for Parametric and Weighted MDPs. ATVA (1) (2023)
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. ATVA (1) (2023)
Dhruv Nevatia, Benjamin Monmege
An Automata Theoretic Characterization of Weighted First-Order Logic. ATVA (1) (2023)
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)
Calvin Chau, Jan Kretínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) (2023)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) (2023)
Yong Li, Sven Schewe, Qiyi Tang
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) (2023)

volume 14215, 2023

Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I ATVA (1) 14215 (2023)