On the Complexity of Reachability in Parametric Markov Decision Processes

Winkler, Tobias; Junges, Sebastian (Corresponding author); Pérez, Guillermo A.; Katoen, Joost-Pieter

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2019)
Contribution to a book, Contribution to a conference proceedings

In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek

Institutions

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