default search action

combined dblp search
author search
venue search
publication search

ask others

21st ATVA 2023: Singapore - Part I

> Home > Conferences and Workshops > ATVA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/atva/2023-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2023-1
É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

- view
  authority control:
- export record
  dblp key:
  - conf/atva/BasinKST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BasinKST23
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel:
Correct and Efficient Policy Monitoring, a Retrospective. 3-30

Automata

- view
  authority control:
- export record
  dblp key:
  - conf/atva/GurungWS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GurungWS23
Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. 33-52
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LiST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LiST23
Yong Li, Sven Schewe, Qiyi Tang:
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. 53-73
- view
  authority control:
- export record
  dblp key:
  - conf/atva/IbarraM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/IbarraM23
Oscar H. Ibarra, Ian McQuillan:
On the Containment Problem for Deterministic Multicounter Machine Models. 74-94
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ZhuLSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ZhuLSM23
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra:
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. 95-114
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NevatiaM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NevatiaM23
Dhruv Nevatia, Benjamin Monmege:
An Automata Theoretic Characterization of Weighted First-Order Logic. 115-133

Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/atva/EngelenPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EngelenPR23
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Graph-Based Reductions for Parametric and Weighted MDPs. 137-157
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LiuTHXZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LiuTHXZ23
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. 158-180
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HartmannsKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HartmannsKL23
Arnd Hartmanns, Bram Kohlen, Peter Lammich:
Fast Verified SCCs for Probabilistic Model Checking. 181-202
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BusattoGastonCMMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BusattoGastonCMMPR23
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

- view
  authority control:
- export record
  dblp key:
  - conf/atva/BansalLTVW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BansalLTVW23
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
Model Checking Strategies from Synthesis over Finite Traces. 227-247
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerHKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerHKP23
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. 248-269
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EgolfT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EgolfT23
Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. 270-291
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KumarK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KumarK23
J. S. Sajiv Kumar, Raghavan Komondoor:
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. 292-311
- view
  authority control:
- export record
  dblp key:
  - conf/atva/XuGHFDC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/XuGHFDC23
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
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DewesD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DewesD23
Rafael Dewes, Rayna Dimitrova:
Compositional High-Quality Synthesis. 334-354

Neural Networks

- view
  authority control:
- export record
  dblp key:
  - conf/atva/AnsaripourCHLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AnsaripourCHLZ23
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. 357-379
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TaoLSLWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TaoLSLWZ23
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. 380-400
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChauKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChauKM23
Calvin Chau, Jan Kretínský, Stefanie Mohr:
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. 401-421
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AfzalGA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AfzalGA23
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.