Riding the Storm in a Probabilistic Model Checking Landscape

Lecture notes in computer science, pp. 98–114

Authors 4

1. Christian Hensel Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Sebastian Junges corresponding Aachen

   Radboud University Nijmegen · RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

   Radboud University Nijmegen, Nijmegen, The Netherlands

   Radboud University, Nijmegen, The Netherlands

3. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Matthias Volk Aachen

   Eindhoven University of Technology · RWTH Aachen University

   Affiliation as printed

   Eindhoven University of Technology, Eindhoven, The Netherlands

   RWTH Aachen University, Aachen, Germany