Formal modelling for multi-robot systems under uncertainty
<p><strong>Purpose of Review</p></strong> To effectively synthesise and analyse multi-robot behaviour, we require formal task-level models which accurately capture multi-robot execution. In this paper, we review modelling formalisms for multi-robot systems under uncertainty a...
| Үндсэн зохиолчид: | , , |
|---|---|
| Формат: | Journal article |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Springer Nature
2023
|