Formal modelling for multi-robot systems under uncertainty (Current Robotics Reports, 2023)

(untitled) - Street, C; Mansouri, M; Lacerda, B