/RSS2020_SwarmControlGTL

Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications

Title Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications
Authors Franck Djeumou, Zhe Xu, and Ufuk Topcu
Conference Robotics: Science and Systems, 2020

Video of experiments in the paper

https://www.dropbox.com/home/RSS%20Video