Leslie Pack Kaelbling Tomás Lozano-Pérez Tim Oates Peter P. Wakker