79
Voted
FSTTCS
2008
Springer
15 years 5 days 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...