Automated Planning of Motion Tasks for Multi-Robot Systems | IEEE Conference Publication | IEEE Xplore