On Practical, Safe, and Convergent Protocols for Agent Formations

Thumbnail
View/Open
File version
Version of Record (VoR)
Author(s)
Estivill-Castro, V
Fernandez, E
Hexel, R
Griffith University Author(s)
Year published
2013
Metadata
Show full item record
Abstract
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.
Conference Title
Australasian Conference on Robotics and Automation 2013
Publisher URI
Copyright Statement
© 2013 Australian Robotics and Automation Association. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.
Subject
Adaptive Agents and Intelligent Robotics
Publication URI
Collection