Abstract is missing.
- Bi-Reachability in Petri Nets with DataLukasz Kaminski, Slawomir Lasota 0001. [doi]
- On Continuous Pushdown VASS in One DimensionGuillermo A. Pérez 0001, Shrisha Rao 0002. [doi]
- Validity of Contextual FormulasJavier Esparza, Rubén Rubio. [doi]
- The Power of Counting Steps in Quantitative GamesSougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove. [doi]
- History-Determinism vs Fair SimulationUdi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash 0002. [doi]
- Faster and Smaller Solutions of Obliging GamesDaniel Hausmann 0001, Nir Piterman. [doi]
- Regular Games with Imperfect Information Are Not That RegularLaurent Doyen 0001, Thomas Soullard. [doi]
- Centralized vs Decentralized Monitors for HyperpropertiesLuca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker. [doi]
- Fairness and Consensus in an Asynchronous Opinion Model for Social NetworksJesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia. [doi]
- As Soon as Possible but RationallyVéronique Bruyère, Christophe Grandmont, Jean-François Raskin. [doi]
- A Spectrum of Approximate Probabilistic BisimulationsTimm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann. [doi]
- Branching Bisimilarity for Processes with Time-OutsGaspard Reghem, Rob J. van Glabbeek. [doi]
- Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk)Arie Gurfinkel. [doi]
- Bidding Games with ChargingGuy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik. [doi]
- MITL Model Checking via Generalized Timed Automata and a New Liveness AlgorithmS. Akshay 0001, Paul Gastin, R. Govind 0001, B. Srivathsan. [doi]
- Left-Linear Rewriting in Adhesive CategoriesPaolo Baldan, Davide Castelnovo, Andrea Corradini 0001, Fabio Gadducci. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Progress, Justness and Fairness in Modal μ-Calculus FormulaeMyrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse. [doi]
- Reversible Transducers over Infinite WordsLuc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind 0001, Shankaranarayanan Krishna. [doi]
- Coinductive Techniques for Checking Satisfiability of Generalized Nested ConditionsLara Stoltenow, Barbara König 0001, Sven Schneider 0001, Andrea Corradini 0001, Leen Lambers, Fernando Orejas. [doi]
- Phase-Bounded Broadcast Networks over Topologies of CommunicationLucie Guillou, Arnaud Sangnier, Nathalie Sznajder. [doi]
- Principles of Persistent Programming (Invited Talk)Azalea Raad. [doi]
- Nominal Tree Automata with Name AllocationSimon Prucker, Lutz Schröder. [doi]
- Automating Memory Model Metatheory with IntersectionsAristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis. [doi]
- Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To TechniquesKeri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König 0001, Matina Najafi, Wojciech Rozowski, Paul Wild. [doi]
- Invariants for One-Counter Automata with Disequality TestsDmitry Chistikov 0001, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger. [doi]
- RobTL: Robustness Temporal Logic for CPSValentina Castiglioni, Michele Loreti, Simone Tini. [doi]
- Causally Deterministic Markov Decision ProcessesS. Akshay 0001, Tobias Meggendorfer, P. S. Thiagarajan. [doi]
- A Unifying Categorical View of Nondeterministic Iteration and TestsSergey Goncharov 0001, Tarmo Uustalu. [doi]
- Weighted Basic Parallel Processes and Combinatorial EnumerationLorenzo Clemente. [doi]
- Minimising the Probabilistic Bisimilarity DistanceStefan Kiefer, Qiyi Tang 0001. [doi]
- Computing Inductive Invariants of Regular Abstraction FrameworksPhilipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr. [doi]
- Around Classical and Intuitionistic Linear ProcessesJuan C. Jaramillo, Dan Frumin, Jorge A. Pérez 0001. [doi]
- An Automata-Based Approach for Synchronizable Mailbox CommunicationRomain Delpy, Anca Muscholl, Grégoire Sutre. [doi]
- Effect Semantics for Quantum Process CalculiLorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi. [doi]
- Verifying Concurrent Search Structures (Invited Talk)Thomas Wies. [doi]
- Strategic Dominance: A New Preorder for Nondeterministic ProcessesThomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç. [doi]
- A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPsMarnix Suilen, Marck van der Vegt, Sebastian Junges. [doi]
- Inaproximability in Weighted Timed GamesQuentin Guilmant, Joël Ouaknine. [doi]
- Passive Learning of Regular Data Languages in Polynomial Time and DataMrudula Balachander, Emmanuel Filiot, Raffaella Gentilini. [doi]
- Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation MeasuresChristel Baier, Jakob Piribauer, Maximilian Starke. [doi]