Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications[J] IEEE ROBOTICS AND AUTOMATION LETTERS 2022(7) Yan, Ruixuan Julius, Agung
