Preface E. Ábrahám and K. Havelund | ||
Ranking Templates for Linear Loops | ||
Jan Leike and Matthias Heizmann | ||
Permissive Controller Synthesis for Probabilistic Systems | ||
Klaus Drager, Vojtech Forejt, Marta Kwiatkowska, David Parker and Mateusz Ujma | ||
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions | ||
Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate | ||
Detecting Unrealizability of Distributed Fault-tolerant Systems | ||
Bernd Finkbeiner and Leander Tentrup | ||
Learning Regular Languages over Large Ordered Alphabets | ||
Irini-Eleftheria Mens and Oded Maler | ||
Compositional Verification for Timed Systems Based on Automatic Invariant Generation | ||
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga and Jacques Combaz | ||
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic | ||
Marco Bozzano, Alessandro Cimatti, Marco Gario and Stefano Tonetta | ||