학술논문
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning
Document Type
Conference Paper
Author
Source
In: Proceedings of the AAAI Conference on Artificial Intelligence . (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(18):20238-20246)
Subject
Language
English
ISSN
23743468
21595399
21595399