| 2026 | Mean-Payoff-Parity and Lifting Strategies from MDPs to 2-Player Stochastic Games. | Mohan Dantam, Richard Mayr |
| 2026 | Monadic Presburger Predicates Have Robust Population Protocols. | Philipp Czerner, Javier Esparza, Vincent Fischer, Roland Guttenberg, Julian Pins, Simon Reilich |
| 2026 | Wheeler Bisimulations. | Nicola Cotumaccio |
| 2026 | An MSO Framework for Weak-Memory Verification and Robustness. | Giovanna Kobus Conrado, Andreas Pavlogiannis |
| 2026 | Improving Reachability in Vector Addition Systems Through Pumpability. | Weijun Chen, Yuxi Fu, Yangluo Zheng |
| 2026 | When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency. | Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson |
| 2026 | A Look Back at Strategy Logic (Invited Contribution for the Test-of-Time Award). | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2026 | Monitoring Discounted Sum Properties. | Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Sara |
| 2026 | Completeness for Probabilistic Boolean Tapes. | Filippo Bonchi, Cipriano Junior Cioffo |
| 2026 | Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems. | Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin |
| 2026 | Reaching as Cheap as Possible in 1-Clock Robust Weighted Timed Games. | Nathalie Bertrand, Malle Gautrin, Julie Parreaux |
| 2026 | WinPop: Making Populations Win Together. | Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle |
| 2026 | Positional Determinacy with Colored Vertices: A 1-To-2-Player Lift. | Raphal Berthon, Stphane Le Roux |
| 2026 | Decomposition of Automata Recognizing Ideals. | Mathias Berry, Pierre-Cyrille Ham, Ismal Jecker |
| 2026 | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk). | Ezio Bartocci |
| 2026 | Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata. | Christel Baier, Sascha Klppelholz, Timm Spork |
| 2026 | Asymmetrically Discounted Stochastic Games. | Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi |
| 2026 | Generalized Bidding Games: Where Bidding and Stochastic Games Meet. | Ali Asadi, Thomas A. Henzinger, Ehsan Kafshdar Goharshady, Pavol Kebis, Kaushik Mallik |
| 2026 | PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance. | Ali Asadi, Krishnendu Chatterjee, Pavol Kebis |
| 2026 | Buffered Control for Opacity in Timed Automata. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2026 | Representing One Letter Weighted Automata over the Tropical Semiring. | Shaull Almagor, Ismal Jecker, Filip Mazowiecki, Lukasz Orlikowski, David Purser, Henry Sinclair-Banks |
| 2026 | A Factorization Theorem for Forest Algebras. | Shaull Almagor, Michal Cadilhac, Asaf Shoham |
| 2026 | On the Role of Prose in Specifications (Invited Talk). | Jade Alglave |
| 2026 | Complementing Emerson-Lei Elevator Automata. | Ondrej Alexaj, Vojtech Havlena, Ondrej Lengl, Yong Li, Nicolas Mazzocchi |
| 2026 | Reachability in Fixed-Dimensional Continuous VASS. | Michal Ajdarw, A. R. Balasubramanian, Lukasz Orlikowski |