Cooperative Overhead Transportation of a Box by Decentralized Mobile Robots | IEEE Conference Publication | IEEE Xplore