Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. - Florian Pham; Álvaro Torralba (IJCAI, 2023)