| 2020 | Reachability in Fixed Dimension Vector Addition Systems with States. | Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jrme Leroux, Filip Mazowiecki |
| 2020 | Determinisability of One-Clock Timed Automata. | Lorenzo Clemente, Slawomir Lasota, Radoslaw Pirkowski |
| 2020 | The Big-O Problem for Labelled Markov Chains and Weighted Automata. | Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser |
| 2020 | Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2020 | Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. | Damien Busatto-Gaston, Debraj Chakraborty, Jean-Franois Raskin |
| 2020 | Games Where You Can Play Optimally with Arena-Independent Finite Memory. | Patricia Bouyer, Stphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | Bounded Reachability Problems Are Decidable in FIFO Machines. | Benedikt Bollig, Alain Finkel, Amrita Suresh |
| 2020 | Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. | Paul C. Bell, Pavel Semukhin |
| 2020 | Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. | Paolo Baldan, Barbara Knig, Tommaso Padoan |
| 2020 | Characterizing Consensus in the Heard-Of Model. | A. R. Balasubramanian, Igor Walukiewicz |
| 2020 | A Survey of Bidding Games on Graphs (Invited Paper). | Guy Avni, Thomas A. Henzinger |
| 2020 | How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. | Clment Aubert, Ioana Cristescu |
| 2020 | On Privacy and Accuracy in Data Releases (Invited Paper). | Mrio S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes |
| 2020 | Coverability in 1-VASS with Disequality Tests. | Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell |
| 2020 | Parametrized Universality Problems for One-Counter Nets. | Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
| 2020 | Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. | Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil |
| 2020 | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2020 | CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). | Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva |
| 2020 | On the Separability Problem of String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
| 2020 | Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. | Xinxin Liu, Tingting Yu |
| 2020 | Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. | Florian Horn, Arnaud Sangnier |
| 2020 | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). | Nils Jansen, Bettina Knighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2019 | On the Complexity of Reachability in Parametric Markov Decision Processes. | Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen |
| 2019 | Event Structures for Mixed Choice. | Marc de Visme |