15 search results - page 1 / 3 » Playing Hybrid Games with KeYmaera |
CADE
2012
Springer
11 years 7 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...
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...
DIGRA
2005
Springer
13 years 10 months ago
2005
Springer
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
IJCAI
2007
13 years 6 months ago
2007
The goal of transfer learning is to use the knowledge acquired in a set of source tasks to improve performance in a related but previously unseen target task. In this paper, we pr...
DIGRA
2003
Springer
13 years 10 months ago
2003
Springer
This paper examines the idea of combining Live Action Role-Playing (LARP) and MMORPG into a hybrid game named Takkar. We developed three versions of Takkar in an iterative fashion...