Game Refinement Relations and Metrics (Q3535612)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5365479
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Game Refinement Relations and Metrics |
scientific article; zbMATH DE number 5365479 |
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
0.8218696117401123
0 references
0.815480649471283
0 references
0.8006816506385803
0 references
0.7598854899406433
0 references
0.7584128975868225
0 references
