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)
Fachzeitschriftenartikel

In: Journal of computer and system sciences : JCSS
Band: 119
Seite(n)/Artikel-Nr.: 183-210