PrIC3: Property Directed Reachability for MDPs

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

(2020)
Preprint

Identifikationsnummern