An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty.
Kaier LiangGustavo A. CardonaCristian-Ioan VasilePublished in: ICRA (2024)
Keyphrases
- route planning
- temporal logic
- multi agent
- model checking
- temporally extended goals
- modal logic
- road network
- satisfiability problem
- concurrent systems
- autonomous vehicles
- computation tree logic
- linear temporal logic
- belief revision
- mazurkiewicz traces
- free flight
- cooperative
- optimal path
- information services
- bounded model checking
- reinforcement learning
- verification method
- temporal knowledge
- urban areas
- transition systems
- temporally extended
- partial observability
- obstacle avoidance
- dynamical systems
- search algorithm
- real time