4447 search results - page 233 / 890 » Model Checking Games |
121
click to vote
IJCAI
2001
15 years 5 months ago
2001
The traditional representations of games using the extensive form or the strategic (normal) form obscure much of the structure that is present in real-world games. In this paper, ...
116
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
135
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
129
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
129
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...