Publications

2 results for Joaquim Ortiz-Haro

A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint Solving
- - Joaquim Ortiz-Haro
  - Erez Karpas
  - et al.
- 2022
- IEEE Robotics and Automation Letters
Conflict-Directed Diverse Planning for Logic-Geometric Programming
- - Joaquim Ortiz-Haro
  - Erez Karpas
  - et al.
- 2022
- ICAPS 2022