Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming | IEEE Conference Publication | IEEE Xplore