4447 search results - page 60 / 890 » Model Checking Games |
112
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
139
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
136
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
165
click to vote
IADIS
2004
15 years 4 months ago
2004
Mobile game is considered as one of the emerging mobile services in recent years. A number of mobile game companies have been established and on-line game providers have also atte...
135
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...