The complexity of reachability in parametric Markov decision processes

Journal of Computer and System Sciences, vol. 119, pp. 183–210

Authors 4

1. Sebastian Junges corresponding

   University of California, Berkeley

   Affiliation as printed

   University of California at Berkeley, USA

2. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Germany

3. Guillermo A. Pérez

   University of Antwerp

   Affiliation as printed

   University of Antwerp, Belgium

4. Tobias Winkler Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Germany