Liu, et al.. Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and Spatel Specifications. 29 May 2017.