guest ::
PrIC3: Property Directed Reachability for MDPs
; ; ; ; ;
2020
Online
DOI: 10.48550/ARXIV.2004.14835
URL: https://publications.rwth-aachen.de/record/792132/files/792132.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
Restricted: 
PDF
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2004.14835
Interne Identnummern
RWTH-2020-05868
Datensatz-ID: 792132
Beteiligte Länder
Germany, USA, UK, Switzerland
Related:
Contribution to a book/Contribution to a conference proceedings
PrIC3: Property Directed Reachability for MDPs
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds)
32. International Conference on Computer Aided Verification, CAV 2020, onlineonline, 21 Jul 2020 - 24 Jul 2020
Cham, Switzerland : Springer, Lecture notes in computer science 12225, 512-538 (2020) [10.1007/978-3-030-53291-8_27]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
; Free to read
|
The record appears in these collections: |