Sciweavers

2 search results - page 1 / 1
» Rational Behaviour and Strategy Construction in Infinite Mul...
Sort
View
CONCUR
2010
Springer
13 years 5 months ago
Obliging Games
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
Krishnendu Chatterjee, Florian Horn, Christof L&ou...