4447 search results - page 64 / 890 » Model Checking Games |
156
Voted
ACMACE
2004
ACM
15 years 8 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...
118
Voted
ESA
2010
Springer
15 years 4 months ago
2010
Springer
Bottleneck congestion games properly model the properties of many real-world network routing applications. They are known to possess strong equilibria
127
click to vote
JCP
2007
15 years 3 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
118
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
114
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...