7 search results - page 2 / 2 » Incorporating Opponent Models into Adversary Search |
AAAI
2006
13 years 6 months ago
2006
We derive a recursive formula for expected utility values in imperfect- information game trees, and an imperfectinformation game tree search algorithm based on it. The formula and...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...