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]

Journal of computer and system sciences : JCSS
Volume: 119
Page(s): 183-210

Identifier