4447 search results - page 13 / 890 » Model Checking Games |
118
Voted
IJCAI
2007
15 years 3 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...
135
Voted
ATAL
2009
Springer
15 years 9 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...
131
Voted
TEDU
2008
15 years 2 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...
103
click to vote
ICMCS
2006
IEEE
15 years 8 months 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....
108
click to vote
CORR
2010
Springer
15 years 2 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 ...