Game Refinement Relations and Metrics (Q3535612)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Game Refinement Relations and Metrics |
scientific article |
Statements
Game Refinement Relations and Metrics (English)
0 references
13 November 2008
0 references
two-player games over finite state spaces
0 references
probability of winning from a given state
0 references
quantitative mu-calculus
0 references
reachability
0 references
safety
0 references
simulation
0 references
bisimulation
0 references
