Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers.
Yiwei ZhengAiwen LaiWeiyao LanXiao YuPublished in: CDC (2023)
Keyphrases
- path planning
- temporal logic
- optimal path
- concurrent systems
- model checking
- transition systems
- mobile robot
- reactive systems
- bounded model checking
- path planning algorithm
- model checker
- obstacle avoidance
- modal logic
- collision avoidance
- dynamic environments
- formal specification language
- collision free
- formal specification
- multi robot
- motion planning
- verification method
- robot path planning
- autonomous vehicles
- linear temporal logic
- potential field
- temporal knowledge
- path planner
- formal verification
- computation tree logic
- dynamic and uncertain environments
- automata theoretic
- unmanned aerial vehicles
- multiple robots
- optimal solution
- degrees of freedom
- dynamic programming
- configuration space
- aerial vehicles
- path finding
- graph model
- state space