Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming

Individual robots in multi-robot teams usually behave according to relatively simple and often deterministic rules. This behavioral regularity may allow for variations in one robot's behavior to provide useful information about the state of other robots in the team. Thus, coordinated motion between distantly separated robots could be achieved without direct… CONTINUE READING