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