Jensen, Rune Møller

3 publications

IJCAI 2003 A Formalization of Equilibria for Multiagent Planning Michael H. Bowling, Rune Møller Jensen, Manuela M. Veloso

AAAI 2002 SetA*: An Efficient BDD-Based Heuristic Search Algorithm Rune Møller Jensen, Randal E. Bryant, Manuela M. Veloso

JAIR 2000 OBDD-Based Universal Planning for Synchronized Agents in Non-Deterministic Domains Rune Møller Jensen, Manuela M. Veloso