4447 search results - page 237 / 890 » Model Checking Games |
147
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
—In this paper, we present and analyze the properties of a new class of games - the spatial congestion game (SCG), which is a generalization of the classical congestion game (CG)...
120
click to vote
COMSIS
2004
15 years 4 months ago
2004
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...
126
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
134
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—We discuss malicious interference based denial of service (DoS) attacks in multi-band covert timing networks using an adversarial game theoretic approach. A covert timing networ...
152
click to vote
JDCTA
2010
14 years 11 months ago
2010
To gain insights into the neural basis of such adaptive decision-making processes, we investigated the nature of learning process in humans playing a competitive game with binary ...