Game−Based Probabilistic Predicate Abstraction in PRISM

Bibliographische Detailangaben
Hauptverfasser: Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
Format: Conference item
Veröffentlicht: 2008