2 search results - page 1 / 1 » Termination Criteria for Solving Concurrent Safety and Reach... |
47
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
STOC
2001
ACM
15 years 10 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...