PrIC3: Property Directed Reachability for MDPs
- Batz, Kevin ORCID
- Junges, Sebastian ORCID
- Kaminski, Benjamin Lucien ORCID
- Katoen, Joost-Pieter ORCID
- Matheja, Christoph ORCID
- Schröer, Philipp ORCID
- 2020-7-14
Published in:
- Computer Aided Verification. - Springer International Publishing. - 2020, p. 512-538
- Language
-
- English
- Open access status
- hybrid
- Identifiers
-
- DOI 10.1007/978-3-030-53291-8_27
- ISSN 0302-9743
- Persistent URL
- https://sonar.ch/global/documents/177805
Statistics
Document views: 20
File downloads:
- Full-text: 0