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)
Buchbeitrag, Beitrag zu einem Tagungsband

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

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern

Downloads