Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore