Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218)
From MaRDI portal
scientific article; zbMATH DE number 7070400
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synchronous gathering without multiplicity detection: a certified algorithm |
scientific article; zbMATH DE number 7070400 |
Statements
Synchronous gathering without multiplicity detection: a certified algorithm (English)
0 references
21 June 2019
0 references
mobile robots
0 references
gathering
0 references
multiplicity detection
0 references
certification
0 references
proof assistant
0 references
