Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning.

Florian Pham, lvaro Torralba

Browse the full IJCAI paper archive.