| 2018 | Logics Meet 1-Clock Alternating Timed Automata. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2018 | The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. | Jan Kretnsk, Alexej Rotar |
| 2018 | Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. | Jan Kretnsk, Guillermo A. Prez, Jean-Franois Raskin |
| 2018 | Synchronizing the Asynchronous. | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2018 | (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. | Barbara Knig, Christina Mika-Michalski |
| 2018 | Linear Equations with Ordered Data. | Piotr Hofman, Slawomir Lasota |
| 2018 | Coalgebraic Theory of Bchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). | Ichiro Hasuo |
| 2018 | Selective Monitoring. | Radu Grigore, Stefan Kiefer |
| 2018 | Separable GPL: Decidable Model Checking with More Non-Determinism. | Andrey Gorlin, C. R. Ramakrishnan |
| 2018 | Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). | Rob van Glabbeek |
| 2018 | Reachability in Timed Automata with Diagonal Constraints. | Paul Gastin, Sayan Mukherjee, B. Srivathsan |
| 2018 | Alternating Nonzero Automata. | Paulin Fournier, Hugo Gimbert |
| 2018 | Verification of Immediate Observation Population Protocols. | Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy |
| 2018 | Completeness for Identity-free Kleene Lattices. | Amina Doumane, Damien Pous |
| 2018 | Bisimulations for Probabilistic and Quantum Processes (Invited Paper). | Yuxin Deng |
| 2018 | Regular Separability of Well-Structured Transition Systems. | Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan |
| 2018 | The Complexity of Rational Synthesis for Concurrent Games. | Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard |
| 2018 | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
| 2018 | Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara Knig |
| 2018 | Parameterized complexity of games with monotonically ordered omega-regular objectives. | Vronique Bruyre, Quentin Hautem, Jean-Franois Raskin |
| 2018 | A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. | Tomasz Brengos |
| 2018 | Up-To Techniques for Behavioural Metrics via Fibrations. | Filippo Bonchi, Barbara Knig, Daniela Petrisan |
| 2018 | It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". | Benedikt Bollig, Marie Fortin, Paul Gastin |
| 2018 | Affine Extensions of Integer Vector Addition Systems with States. | Michael Blondin, Christoph Haase, Filip Mazowiecki |
| 2018 | Automatic Analysis of Expected Termination Time for Population Protocols. | Michael Blondin, Javier Esparza, Antonn Kucera |