Taeyeong Choi, Theodore P. Pavlic, Andréa W. Richa. Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming. In 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20-23, 2017. pages 1522-1527, IEEE, 2017. [doi]
Abstract is missing.