Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans.

Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher

Browse the full AAAI paper archive.