Media type: E-Article Title: Computer Aided Verification: PrIC3: Property Directed Reachability for MDPs Contributor: Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp Published: Springer International Publishing, 2020 Published in: Computer Aided Verification (2020), Seite 512-538 Language: Not determined DOI: 10.1007/978-3-030-53291-8_27 ISBN: 9783030532901; 9783030532918 ISSN: 0302-9743; 1611-3349 Origination: Footnote: