Michael W. Otte, Joshua Bialkowski, Emilio Frazzoli. Any-com collision checking: Sharing certificates in decentralized multi-robot teams. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014. pages 563-570, IEEE, 2014. [doi]
Abstract is missing.