Correction to: Efficient Probabilistic Model Checking for Relational Reachability

Lecture notes in computer science, pp. C1–C2

Abstract

'Correction to: Efficient Probabilistic Model Checking for Relational Reachability' published in 'Computer Aided Verification'

Authors 5

1. Lina Gerlach Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Tobias Winkler Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

3. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Borzoo Bonakdarpour

   Michigan State University

   Affiliation as printed

   Michigan State University, East Lansing, MI, USA

5. Sebastian Junges corresponding

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University, Nijmegen, The Netherlands