Manon Lecart, Elena Troubitsyna. Formal Modelling of Fault Tolerant Robotic Missions. In Étienne André, Jingyi Wang 0004, Naijun Zhan, editors, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Volume 16229 of Lecture Notes in Computer Science, pages 373-390, Springer, 2025. [doi]
Abstract is missing.