Florian Pham

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

Macro-operators are a common reformulation method in planning that adds high-level operators corresponding to a fixed sequence of primitive operators. We introduce meta-operators, which allow using different sequences of actions in each state. We show how to automatically verify whether a meta-opera…