7 citations · 7 across the 1 of their papers we have counts for
1 paper
Charlie Street, Masoumeh Mansouri, Bruno Lacerda
Purpose of Review: To effectively synthesise and analyse multi-robot behaviour, we require formal task-level models which accurately capture multi-robot execution. In this paper, w…