PrIC3: Property Directed Reachability for MDPs

(2020) [Preprint]

Authors

Selected Authors

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

Other Authors

Schröer, Philipp

Identifier

  • REPORT NUMBER: RWTH-2020-05868