Talk slides

Invited talks

Machine learning meets formal verification
Luca Bortolussi
PDF

Relational decision procedures with their applications to nonclassical logics
Joanna Golinska-Pilarek and Michał Zawidzki
PDF

Fixpoints in VASS: Results and applications
Arnaud Sangnier
PDF

Regular papers

Partial solvers for parity games: effective polynomial-time composition
Patrick Ah-Fat and Michael Huth
PDF

Relation-Changing Logics as Fragments of Hybrid Logics
Carlos Areces, Raul Fervari, Guillaume Hoffmann and Mauricio Martel
PDF

A Delayed Promotion Policy for Parity Games
Massimo Benerecetti, Daniele Dell'Erba and Fabio Mogavero
PDF

Games for topological fixpoint logic
Nick Bezhanishvili and Clemens Kupke
PDF

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron and Pietro Sala
PDF

On the Expressive Power of Sub-Propositional Fragments of Modal Logic
Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco
PDF

Alternation Is Strict For Higher-Order Modal Fixpoint Logic
Florian Bruse
PDF

A Canonical Model Construction for Iteration-Free PDL with Intersection
Florian Bruse, Daniel Kernberger and Martin Lange
PDF

Window parity games: an alternative approach toward parity games with time bounds
Véronique Bruyère, Quentin Hautem and Mickael Randour
PDF

Weighted linear dynamic logic
Manfred Droste and George Rahonis
PDF

Cycle Detection in Computation Tree Logic
Gaelle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli and Loredana Sorrentino
PDF

Bounded-oscillation pushdown automata
Pierre Ganty and Damir Valput
PDF

On quantified propositional logics and the exponential time hierarchy
Miika Hannula, Juha Kontinen, Martin Lück and Jonni Virtema
PDF

Multi-Buffer Simulations for Trace Language Inclusion
Milka Hutagalung, Martin Lange, Norbert Hundeshagen, Dietrich Kuske and Etienne Lozes
PDF

Distributed PROMPT-LTL Synthesis
Swen Jacobs, Leander Tentrup and Martin Zimmermann
PDF

A semi-potential for finite and infinite sequential games
Stephane Le Roux and Arno Pauly
PDF

Certification of prefixed tableau proofs for modal logic
Tomer Libal and Marco Volpe
PDF

The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities
Yoshiki Nakamura
PDF

A new rule for LTL tableaux
Mark Reynolds
PDF

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-Exponential Time
Leander Tentrup, Alexander Weinert and Martin Zimmermann
PDF