CSL
2002
Springer
13 years 4 months ago
2002
Springer
d Abstract) Marcin Jurdzi
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...