- Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA 2021: 3-12 - Brae J. Webb
, Mark Utting, Ian J. Hayes:
A Formal Semantics of the GraalVM Intermediate Representation. ATVA 2021: 111-126 - Zhe Hou, Vijay Ganesh:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings. Lecture Notes in Computer Science 12971, Springer 2021, ISBN 978-3-030-88884-8 [contents] - 2020
- Manish Goyal, Parasara Sridhar Duggirala:
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ATVA 2020: 75-91 - Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang:
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA 2020: 467-483 - Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis:
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA 2020: 253-270 - Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr:
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA 2020: 92-107 - A. R. Balasubramanian, Javier Esparza, Marijana Lazic:
Complexity of Verification and Synthesis of Threshold Automata. ATVA 2020: 144-160 - Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. ATVA 2020: 413-428 - Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Verification of Indefinite-Horizon POMDPs. ATVA 2020: 288-304 - Marek Chalupa:
DG: Analysis and Slicing of LLVM Bitcode. ATVA 2020: 557-563 - Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342 - Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500 - Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna:
Robust Controller Synthesis for Duration Calculus. ATVA 2020: 429-446 - Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. ATVA 2020: 215-232 - Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer:
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. ATVA 2020: 550-556 - Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - Rachel Faran, Orna Kupferman:
On (I/O)-Aware Good-For-Games Automata. ATVA 2020: 161-178 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410 - Bernd Finkbeiner, Noemi Passing:
Dependency-Based Compositional Synthesis. ATVA 2020: 447-463 - Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. ATVA 2020: 271-287 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124 - Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu:
Verification of a Generative Separation Kernel. ATVA 2020: 305-322 - Klaus Havelund, Doron Peled:
First-Order Timed Runtime Verification Using BDDs. ATVA 2020: 3-24 - Vladimir Herdt, Daniel Große, Rolf Drechsler:
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. ATVA 2020: 543-549 - Amjad Ibrahim, Alexander Pretschner:
From Checking to Inference: Actual Causality Computations as Optimization Problems. ATVA 2020: 343-359 - Yuval Jacoby, Clark W. Barrett, Guy Katz:
Verifying Recurrent Neural Networks Using Invariant Inference. ATVA 2020: 57-74 - Simon Jantsch, Florian Funke, Christel Baier:
Minimal Witnesses for Probabilistic Timed Automata. ATVA 2020: 501-517 - Magnus Lång, Konstantinos Sagonas:
Parallel Graph-Based Stateless Model Checking. ATVA 2020: 377-393
