Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning

This work proposes to formulate the problem of sequential robot manipulation holistically as a 1st- order logic extension of a mathematical program: a non-linear constrained program over the full world trajectory where the symbolic state-action sequence defines the (in-)equality constraints.