Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems | IEEE Conference Publication | IEEE Xplore