303 search results - page 1 / 61 » Interfaces as Games, Programs as Strategies |
TYPES
2004
Springer
13 years 10 months ago
2004
Springer
FSTTCS
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
HCI
2007
13 years 6 months ago
2007
The intrinsic motivation to play, and therefore to learn, that might be provided by digital educational games teases researchers and developers. However, existing educational games...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
ACRI
2006
Springer
13 years 10 months ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...