Salar Moarref, Hadas Kress-Gazit. Decentralized control of robotic swarms from high-level temporal logic specifications. In 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), Los Angeles, CA, USA, December 4-5, 2017. pages 17-23, IEEE, 2017. [doi]
Abstract is missing.