Footstep Planning with Encoded Linear Temporal Logic Specifications.
Vikram RamanathanPublished in: CoRR (2020)
Keyphrases
- linear temporal logic
- bounded model checking
- humanoid robot
- temporally extended goals
- classical planning
- temporal logic
- model checking
- rough terrain
- motion planning
- planning problems
- heuristic search
- specification language
- multi modal
- transition systems
- formal verification
- planning domains
- model checker
- concurrent systems
- domain independent
- formal specification
- state space
- pattern generator
- reactive systems
- ai planning
- orders of magnitude