On the Complexity of Reachability in Parametric Markov Decision Processes

Saarbrücken/Wadern, Germany / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter

Identifikationsnummern

Downloads