19 citations · 30 across the 19 of their papers we have counts for
1 paper · 2 filters
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…