M. Afzal Upal
OpalRock Technologies, Chantilly, VA
Fast planning through planning graph analysis
Artificial Intelligence
The automatic inference of state invariants in TIM
Journal of Artificial Intelligence Research