Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs (Q5045376)
From MaRDI portal
scientific article; zbMATH DE number 7612560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs |
scientific article; zbMATH DE number 7612560 |
Statements
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs (English)
0 references
4 November 2022
0 references
