41 search results - page 9 / 9 » A Language for Specifying Complete Timetabling Problems |
106
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
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...