A software tool for the decentralized control of AGV systems | IEEE Conference Publication | IEEE Xplore