R Yan,
Z Xu,
A Julius - IEEE Robotics and Automation Letters, 2019 - ieeexplore.ieee.org
In this letter, we propose methods to perform swarm behavior analysis with a novel swarm
signal temporal logic (SwarmSTL). We define generalized moments to describe swarm …