Sciweavers

4447 search results - page 51 / 890
» Model Checking Games
Sort
View
CAV
2001
Springer
74views Hardware» more  CAV 2001»
15 years 10 months ago
Model Checking with Formula-Dependent Abstract Models
Alexander Asteroth, Christel Baier, Ulrich Aß...
118
Voted
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 10 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
AAAI
2006
15 years 7 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
16 years 1 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