109
click to vote
FSTTCS
2005
Springer
15 years 8 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...