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]
Identifier
- DOI: 10.1016/j.jcss.2021.02.006
- RWTH PUBLICATIONS: RWTH-2021-03023