101
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...