The complexity of reachability in parametric Markov decision processes

Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias

San Diego, Calif. [u.a.] : Elsevier (2021)
Journal Article

In: Journal of computer and system sciences : JCSS
Volume: 119
Page(s)/Article-Nr.: 183-210