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.