no code implementations • 26 May 2023 • 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.