This is a package that can take in a normal PDDL domain and problem as well as a meta action, and compile them into a Stackelberg Variant. This Stackelberg Variant can then be used to verify the validity of the meta action. This is designed to work with the Stackelberg-SLS planner. This is based on the paper Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. The project is also available as a package on the Nuget Package Manager.
kris701 / stackelberg.metaaction.compiler Goto Github PK
View Code? Open in Web Editor NEWA project to compile meta actions into a PDDL representation that can be validated by a Stackelberg Planner
License: MIT License