Motion planning in dynamic environments with bounded time temporal logic specifications.
Dipankar MaityJohn S. BarasPublished in: MED (2015)
Keyphrases
- computation tree logic
- dynamic environments
- motion planning
- temporal logic
- path planning
- bounded model checking
- mobile robot
- model checking
- concurrent systems
- transition systems
- trajectory planning
- model checker
- reactive systems
- formal specification language
- formal specification
- degrees of freedom
- robotic tasks
- obstacle avoidance
- potential field
- formal verification
- collision avoidance
- collision free
- multi robot
- autonomous agents
- linear temporal logic
- belief space
- finite state
- robotic systems
- belief revision
- mazurkiewicz traces
- verification method
- configuration space
- plan execution
- autonomous robots
- humanoid robot
- path finding
- changing environment
- real time
- formal methods
- temporal reasoning
- knowledge base