Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning.
Florian PhamÁlvaro TorralbaPublished in: IJCAI (2023)
Keyphrases
- macro operators
- model checking
- ai planning
- heuristic search
- neural network
- data sets
- decision support
- building blocks
- game theory
- formal verification
- formal methods
- goal oriented
- means ends analysis
- automated planning
- blocks world
- planning systems
- mixed initiative
- meta level
- planning problems
- domain specific
- state space
- multi agent systems
- reinforcement learning