CSL
2002
Springer
13 years 11 months ago
2002
Springer
d Abstract) Marcin Jurdzi
LICS
2000
IEEE
14 years 3 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
14 years 5 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...