6 search results - page 2 / 2 » Parityizing Rabin and Streett |
CONCUR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...