Login / Signup

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.

Martín PozoÁlvaro TorralbaCarlos Linares López
Published in: AAAI (2024)
Keyphrases
  • domain independent
  • classical planning
  • optimal solution
  • planning problems
  • dynamic programming
  • heuristic search
  • linear programming
  • decision problems
  • ai planning