Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773)
From MaRDI portal
scientific article; zbMATH DE number 6408110
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey |
scientific article; zbMATH DE number 6408110 |
Statements
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (English)
0 references
25 February 2015
0 references
