Paper at CONCUR 2019

The paper “On the Complexity of Reachability in Parametric Markov Decision Processes” by Tobias Winkler, Sebastian Junges, Guillermo A. Pérez and Joost-Pieter Katoen has been accepted at CONCUR 2019. The paper addresses the complexity of various synthesis problems for parametric Markov decision processes.