295 search results - page 4 / 59 » Games and Definability for System F |
CHI
2008
ACM
15 years 10 months ago
2008
ACM
92
Voted
SIAMCO
2008
14 years 10 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
86
Voted
FORMATS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
71
Voted
AIIDE
2008
15 years 17 days ago
2008
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
84
Voted
TCS
2008
14 years 10 months ago
2008
We introduce a new combinatorial game between two players: Magnus and Derek. Initially, a token is placed at position 0 on a round table with n positions. In each round of the gam...