Creative Commons
| 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 | ||