When CEGAR Meets Regression: A Love Story in Optimal Classical Planning Conference Contributions uri icon

event

  • Thirty-Eighth AAAI Conference on Artificial Intelligence
    Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence
    Fourteenth Symposium on Educational Advances in Artificial Intelligence

event place

  • Vancouver

country

  • CANADA

participation category

  • CONFERENCIA

main title

  • Proceedings of the AAAI Conference on Artificial Intelligence

publication date

  • 2024

start page

  • 20238

end page

  • 20246

isbn

  • 978-1-57735-887-9

subjects

  • Computer Science

keywords

  • prs; deterministic planning; so; heuristic search