| 2020 | Verification of a Generative Separation Kernel. | Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu |
| 2020 | Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | Robustness Verification for Classifier Ensembles. | Dennis Gross, Nils Jansen, Guillermo A. Prez, Stephan Raaijmakers |
| 2020 | Dependency-Based Compositional Synthesis. | Bernd Finkbeiner, Noemi Passing |
| 2020 | Model Checking Branching Properties on Petri Nets with Transits. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2020 | On (I/O)-Aware Good-For-Games Automata. | Rachel Faran, Orna Kupferman |
| 2020 | ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. | Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu |
| 2020 | Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
| 2020 | Context-Aware Temporal Logic for Probabilistic Systems. | Mahmoud Elfar, Yu Wang, Miroslav Pajic |
| 2020 | Robust Controller Synthesis for Duration Calculus. | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
| 2020 | Probabilistic Hyperproperties of Markov Decision Processes. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2020 | A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rmmer, Zhilin Wu |
| 2020 | DG: Analysis and Slicing of LLVM Bitcode. | Marek Chalupa |
| 2020 | Verification of Indefinite-Horizon POMDPs. | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | Explainable Reactive Synthesis. | Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
| 2020 | Complexity of Verification and Synthesis of Threshold Automata. | A. R. Balasubramanian, Javier Esparza, Marijana Lazic |
| 2020 | DeepAbstract: Neural Network Abstraction for Accelerating Verification. | Pranav Ashok, Vahid Hashemi, Jan Kretnsk, Stefanie Mohr |
| 2020 | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2020 | Probabilistic Hyperproperties with Nondeterminism. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | Proving Non-inclusion of Bchi Automata Based on Monte Carlo Sampling. | Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang |
| 2020 | NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. | Manish Goyal, Parasara Sridhar Duggirala |
| 2019 | Are Parametric Markov Chains Monotonic? | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | Can We Trust Autonomous Systems? Boundaries and Risks. | Joseph Sifakis |
| 2019 | Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. | Hussein Sibai, Navid Mokhlesi, Sayan Mitra |
| 2019 | Multi-head Monitoring of Metric Temporal Logic. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |