Ensuring the reliability of your model checker: interval iteration for Markov decision processes (Q2151242)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ensuring the reliability of your model checker: interval iteration for Markov decision processes |
scientific article |
Statements
Ensuring the reliability of your model checker: interval iteration for Markov decision processes (English)
0 references
1 July 2022
0 references
