13866 search results - page 116 / 2774 » Dynamical Systems Game |
132
Voted
ICALT
2009
IEEE
15 years 6 months ago
2009
IEEE
New Technologies have been incorporated to schools as learning tools some time ago. In this paper we remark some advantages of video games as educational systems and how we can us...
113
Voted
USENIX
2007
15 years 5 months ago
2007
135
Voted
CADE
2012
Springer
13 years 6 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
111
Voted
CONCUR
2010
Springer
15 years 4 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...
119
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...