Elena Troubitsyna. Assessing Dependability of Multi-robotic Systems within Formal Development. In 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022. pages 120-124, IEEE, 2022. [doi]
Abstract is missing.