default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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.
last updated on 2025-11-04 22:07 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:
