Sciweavers

4447 search results - page 51 / 890
» Model Checking Games
Sort
View
CAV
2001
Springer
74views Hardware» more  CAV 2001»
15 years 7 months ago
Model Checking with Formula-Dependent Abstract Models
Alexander Asteroth, Christel Baier, Ulrich Aß...
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 7 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
109
Voted
AAAI
2006
15 years 4 months ago
Prob-Maxn: Playing N-Player Games with Opponent Models
Much of the work on opponent modeling for game tree search has been unsuccessful. In two-player, zero-sum games, the gains from opponent modeling are often outweighed by the cost ...
Nathan R. Sturtevant, Martin Zinkevich, Michael H....
CEC
2009
IEEE
15 years 10 months ago
Modeling multi-agent labor market based on co-evolutionary computation and game theory
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
Hee-Taek Kim, Sung-Bae Cho