Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher. Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 26596-26604, AAAI Press, 2025. [doi]
Abstract is missing.