The complexity of solving reachability games using value and strategy iteration (Q2254503)
From MaRDI portal
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The complexity of solving reachability games using value and strategy iteration |
No description defined |
Statements
The complexity of solving reachability games using value and strategy iteration (English)
0 references
5 February 2015
0 references
concurrent reachability games
0 references
value iteration
0 references
strategy iteration
0 references
analysis of algorithms
0 references
