Title | Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications |
---|---|
Authors | Franck Djeumou, Zhe Xu, and Ufuk Topcu |
Conference | Robotics: Science and Systems, 2020 |
u-t-autonomous/RSS2020_SwarmControlGTL
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications