Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications.
Kyunghoon ChoJunghun SuhClaire J. TomlinSonghwai OhPublished in: IEEE Robotics Autom. Lett. (2017)
Keyphrases
- path planning
- temporal logic
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- formal specification language
- mobile robot
- path planning algorithm
- formal specification
- dynamic environments
- obstacle avoidance
- modal logic
- collision avoidance
- multi robot
- linear temporal logic
- minimum cost path
- robot path planning
- optimal path
- potential field
- motion planning
- computation tree logic
- mazurkiewicz traces
- aerial vehicles
- dynamic and uncertain environments
- path planner
- formal verification
- autonomous vehicles
- belief revision
- temporal knowledge
- dynamic constraints
- verification method
- unmanned aerial vehicles
- path finding
- temporally extended
- formal methods