Decentralized runtime enforcement for robotic swarms. - Hu, Chi; Dong, Wei; Yang, Yonghui; Shi, Hao; Deng, Fei (Frontiers Inf. Technol. Electron. Eng., 2020)