Abstract is missing.
- Subgame-Perfect Equilibria in Mean-Payoff GamesLéonard Brice, Jean-François Raskin, Marie van den Bogaard. [doi]
- Dynamic Data-Race Detection Through the Fine-Grained LensRucha Kulkarni, Umang Mathur 0001, Andreas Pavlogiannis. [doi]
- Adaptive Synchronisation of Pushdown AutomataA. R. Balasubramanian, K. S. Thejaswini. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Bisimulation by Partitioning Is Ω((m+n)log n)Jan Friso Groote, Jan Martens 0001, Erik P. de Vink. [doi]
- Continuous Positional PayoffsAlexander Kozachinskiy. [doi]
- Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity CheckingJakob Piribauer, Christel Baier, Nathalie Bertrand 0001, Ocan Sankur. [doi]
- Fragility and Robustness in Mean-Payoff Adversarial Stackelberg GamesMrudula Balachander, Shibashis Guha, Jean-François Raskin. [doi]
- Arena-Independent Finite-Memory Determinacy in Stochastic GamesPatricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove. [doi]
- Linear-Time Model Checking Branching ProcessesStefan Kiefer, Pavel Semukhin, Cas Widdershoven. [doi]
- Enforcing ω-Regular Properties in Markov Chains by RestartingJavier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger. [doi]
- Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside DownMayuko Kori, Ichiro Hasuo, Shin-ya Katsumata. [doi]
- Generalising Projection in Asynchronous Multiparty Session TypesRupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey. [doi]
- SMT-Based Model Checking of Max-Plus Linear SystemsMuhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti. [doi]
- CONCUR Test-Of-Time Award 2021 (Invited Paper)Nathalie Bertrand 0001, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida. [doi]
- Scope-Bounded Reachability in Valence SystemsAneesh K. Shetty, Shankara Narayanan Krishna, Georg Zetzsche. [doi]
- Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPsRichard Mayr, Eric Munday. [doi]
- Sized Types with Usages for Parallel Complexity of Pi-Calculus ProcessesPatrick Baillot, Alexis Ghyselen, Naoki Kobayashi 0001. [doi]
- Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOLSimon Foster 0001, Chung-Kil Hur, Jim Woodock. [doi]
- The Orbit Problem for Parametric Linear Dynamical SystemsChristel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001. [doi]
- Guard Automata for the Verification of Safety and Liveness of Distributed AlgorithmsNathalie Bertrand 0001, Bastien Thomas, Josef Widder. [doi]
- Time Flies When Looking out of the Window: Timed Games with Window Parity ObjectivesJames C. A. Main, Mickael Randour, Jeremy Sproston. [doi]
- Decomposing Permutation AutomataIsmaël Jecker, Nicolas Mazzocchi, Petra Wolf 0002. [doi]
- Transience in Countable MDPsStefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke. [doi]
- Deciding Polynomial Termination Complexity for VASS ProgramsMichal Ajdarów, Antonín Kucera 0001. [doi]
- Inclusion Testing of Büchi Automata Based on Well-QuasiordersKyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato. [doi]
- Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata ComplementationVojtech Havlena, Ondrej Lengál. [doi]
- Nominal Büchi Automata with Name AllocationHenning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder. [doi]
- Algebra and Coalgebra of Stream ProductsMichele Boreale, Daniele Gorla. [doi]
- Stackelberg-Pareto SynthesisVéronique Bruyère, Jean-François Raskin, Clément Tamines. [doi]
- Explaining Behavioural Inequivalence Generically in Quasilinear TimeThorsten Wißmann, Stefan Milius, Lutz Schröder. [doi]
- Model Checking Quantum Continuous-Time Markov ChainsMing Xu 0010, Jingyi Mei, Ji Guan, Nengkun Yu. [doi]
- Separating Sessions SmoothlySimon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris. [doi]
- A Decidable Non-Regular Modal Fixpoint LogicFlorian Bruse, Martin Lange. [doi]
- Enabling Preserving Bisimulation EquivalenceRob van Glabbeek, Peter Höfner, Weiyou Wang. [doi]
- A Unifying Framework for Deciding SynchronizabilityBenedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh. [doi]
- A Temporal Logic for Strategic HyperpropertiesRaven Beutner, Bernd Finkbeiner. [doi]