On the Complexity of Reachability in Parametric Markov Decision Processes.

Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen

Browse the full CONCUR paper archive.