Motion and action planning under LTL specifications using navigation functions and action description language.
Meng GuoKarl Henrik JohanssonDimos V. DimarogonasPublished in: IROS (2013)
Keyphrases
- orders of magnitude
- description language
- planning domains
- concurrent actions
- action language
- transition systems
- derived predicates
- model checker
- specification language
- ai planning
- model checking
- motion planning
- bounded model checking
- human actions
- planning problems
- software architecture
- situation calculus
- web services
- human motion
- temporal logic
- reasoning about actions
- software systems
- description languages
- high level
- initial state
- software engineering
- search algorithm
- data structure