PrIC3: Property Directed Reachability for MDPs

(2020) [Preprint]

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Batz, Kevin
Junges, Sebastian
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph

Weitere Autorinnen und Autoren

Schröer, Philipp

Identifikationsnummern

  • REPORT NUMBER: RWTH-2020-05868