On Practical, Safe, and Convergent Protocols for Agent Formations
MetadataShow full item record
We investigate the current state of the art in terms of formally verifiable protocols to form a formation of robots under unreliable communi- cation. We show that in practical terms, it is possible to obtain more efficient protocols with more appealing properties.
Australasian Conference on Robotics and Automation (ACRA)
Adaptive Agents and Intelligent Robotics