4447 search results - page 13 / 890 » Model Checking Games |
180
click to vote
IJCAI
2007
15 years 8 months ago
2007
We introduce and analyze q-potential games and qcongestion games, where q is a positive integer. A 1-potential (congestion) game is a potential (congestion) game. We show that a g...
190
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
186
click to vote
TEDU
2008
15 years 6 months ago
2008
The Killer Phrase game is a digital role-playing game where the player is the moderator of a discussion between two debating robots. In this article, the design steps for the creat...
143
Voted
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....
164
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...