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

Jie Fang, Zetian Zhang, Raghvendra V. Cowlagi. Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications. Automatica, 140:110228, 2022. [doi]

Abstract

Abstract is missing.