Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661)
From MaRDI portal
scientific article; zbMATH DE number 6294880
Language | Label | Description | Also known as |
---|---|---|---|
English | Game-Based Probabilistic Predicate Abstraction in PRISM |
scientific article; zbMATH DE number 6294880 |
Statements
Game-Based Probabilistic Predicate Abstraction in PRISM (English)
0 references
13 May 2014
0 references
automatic verification
0 references
probabilistic model checking
0 references
predicate abstraction
0 references
Markov models
0 references