An Approach to Agent Path Planning Under Temporal Logic Constraints.
Chaofeng YuNan ZhangZhenhua DuanCong TianPublished in: COCOON (2) (2023)
Keyphrases
- path planning
- temporal logic
- dynamic environments
- model checking
- mobile robot
- path planning algorithm
- dynamic constraints
- collision avoidance
- automata theoretic
- temporally extended
- modal logic
- potential field
- motion planning
- multi robot
- dead ends
- dynamic and uncertain environments
- path finding
- multi agent systems
- multiagent systems
- optimal path
- computation tree logic
- verification method
- obstacle avoidance
- multi agent
- autonomous vehicles
- autonomous agents
- path planner
- mazurkiewicz traces
- intelligent agents
- linear temporal logic
- robot path planning
- software agents
- unmanned aerial vehicles
- collision free
- degrees of freedom
- belief revision
- reactive systems
- temporal knowledge
- multiple robots
- unknown environments