Any-com collision checking: Sharing certificates in decentralized multi-robot teams | IEEE Conference Publication | IEEE Xplore