6355 search results - page 30 / 1271 » From Logic to Games |
114
Voted
CADE
2012
Springer
13 years 3 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...
105
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
72
Voted
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
126
Voted
SAGA
2007
Springer
15 years 6 months ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...
112
Voted
ACMIDC
2008
15 years 2 months ago
2008
Computer-based games and technologies can be significant aids for helping children learn. However, most computer-based games simply address the learning styles of visual and audit...