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

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]