4447 search results - page 52 / 890 » Model Checking Games |
114
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We introduce and study qualitative multiple outcomes games. These games are noncooperative games with qualitative utilities (i.e., values over an ordinal scale), strictly qualitat...
113
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
245
click to vote
ICGA
2006
17 years 3 months ago
2006
In this work we investigate the potential of combining AI tree-search algorithms with the algorithms of combinatorial game theory to provide more efficient strategies for playing s...
157
click to vote
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
109
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In the context of pre-Bayesian games we analyze resource selection systems with unknown number of players. We prove the existence and uniqueness of a symmetric safety-level equili...