Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications.
Jie FangZetian ZhangRaghvendra V. CowlagiPublished in: Autom. (2022)
Keyphrases
- route planning
- linear temporal logic
- bounded model checking
- autonomous vehicles
- transport systems
- cooperative
- temporal logic
- multi agent
- model checking
- traffic conditions
- road network
- transition systems
- optimal path
- model checker
- obstacle avoidance
- path planning
- distributed systems
- formal verification
- real time
- urban areas
- specification language
- shortest path
- multi agent systems
- knowledge base
- formal specification
- multiagent systems