Rui Li, Hao Shi, Wanwei Liu, Wei Dong 0006. Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 109-118, IEEE, 2020. [doi]
Abstract is missing.