Coordinated Protocols: An Approach To Formalize Coordination Between Mobile Robots | IEEE Conference Publication | IEEE Xplore