Accepted Presentations

Presentation-Only Papers

Julia Klein, Alberto D'Onofrio and Tatjana Petrov. Exploring Consensus Robustness in Swarms with Disruptive Individuals
George Kenison. The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
Tobias Meggendorfer and Maximilian Weininger. Playing Games with your PET: Solving Stochastic Games, Reliably
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona Urmeneta and Jakub Svoboda. Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
Udi Boker, Thomas Henzinger, Nicolas Mazzocchi and N. Ege Saraç. Safety and Liveness of Quantitative Properties and Automata
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger and Kaushik Mallik. Bidding Games with Charging
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi and Anton Varonka. Simple Linear Loops: Algebraic Invariants and Synthesis
Munehiro Iwami and Takahito Aoto. Preservation of Rationality in Infinitary Rewriting by Top-Down Tree Transducers
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine and James Worell. The 2-Dimensional Constraint Loop Problem is Decidable
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner and Kaushik Mallik. Abstraction-Based Decision Making for Statistical Properties
Ashwani Anand, Sylvain Schmitz, Lia Schütze and Georg Zetzsche. Verifying Unboundedness via Amalgamation
Florian Bruse, Martin Lange and Sören Möller. The Calculus of Dual Influence
Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger. The Revised Practitioner's Guide to MDP Model Checking Algorithms
R Govind, S. Akshay, Paul Gastin and B Srivathsan. MITL Model Checking via Generalized Timed Automata and a new Liveness Algorithm
Bruno Loff and Mateusz Skomra. Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games
Quentin Guilmant and Joël Ouaknine. Inaproximability in Weighted Timed Games