Publications

A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint Solving

• • Joaquim Ortiz-Haro
  • Erez Karpas
  • et al.
• 2022
• IEEE Robotics and Automation Letters