Elena Troubitsyna: Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. CoDIT 2022: 1438-1443