6355 search results - page 30 / 1271 » From Logic to Games |
CADE
2012
Springer
12 years 1 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...
CONCUR
2009
Springer
14 years 5 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....
FSKD
2005
Springer
14 years 4 months ago
2005
Springer
SAGA
2007
Springer
14 years 5 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...
ACMIDC
2008
14 years 29 days 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...