PrIC3: Property Directed Reachability for MDPs
Published in:
- Computer Aided Verification. - Springer International Publishing. - 2020, p. 512-538
-
Language
-
-
Open access status
-
hybrid
-
Identifiers
-
-
Persistent URL
-
https://sonar.ch/global/documents/177805
Statistics
Document views: 20
File downloads: