Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore