Specifying and achieving goals in open uncertain robot-manipulation domains

Leslie Pack Kaelbling, Alex LaGrassa, Tomás Lozano-Pérez

This paper describes an integrated solution to the problem of describing and interpreting goals for robots in open uncertain domains. Given a formal specification of a desired situ…