A formalization of equilibria for multiagent planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1460-1463

  Bowling, Michael ^a   Jensen, Rune ^a   Veloso, Manuela ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646125542     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. Alessandro Cimatti, Marco Pistore, Marco Roveri,, and Paolo Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. IRST Technical report 0104-11, Istituto Trentino di Cultura, April 2000.
2. Rune Jensen and Manuela Veloso. OBDD-based universal planning for synchronized agents in non-deterministic domains. Journal of Artificial Intelligence Research, 13:189-226, 2000.
3. Guillermo Owen. Game Theory. Academic Press, 1995.