A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint SolvingJoaquim Ortiz-HaroErez Karpaset al.2022IEEE Robotics and Automation Letters