Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.
Yash Vardhan PantHoussam AbbasRahul MangharamPublished in: CCTA (2022)
Keyphrases
- temporal logic
- trajectory planning
- model checking
- path planning
- dynamic environments
- modal logic
- motion planning
- obstacle avoidance
- robot manipulators
- distributed systems
- linear temporal logic
- mazurkiewicz traces
- mobile robot
- reactive systems
- verification method
- bounded model checking
- belief revision
- mathematical model
- degrees of freedom
- multi robot
- fuzzy neural network
- particle filter
- video sequences
- real time