Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements (Q4649307)
From MaRDI portal
scientific article; zbMATH DE number 6109379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements |
scientific article; zbMATH DE number 6109379 |
Statements
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements (English)
0 references
21 November 2012
0 references
