Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation Under Uncertainty | IEEE Conference Publication | IEEE Xplore