Franck Djeumou, Zhe Xu 0005, Ufuk Topcu. Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. In Marc Toussaint, Antonio Bicchi, Tucker Hermans, editors, Robotics: Science and Systems XVI, Virtual Event / Corvalis, Oregon, USA, July 12-16, 2020. 2020. [doi]
Abstract is missing.