Home /Research /Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
OTHER

Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications

Jie Fang, Zetian Zhang, Raghvendra V. Cowlagi

Year
2022
Citations
5

Keywords

SubclassTemporal logicComputer scienceMathematicsTheoretical computer science

Related papers

Browse all OTHER papers