On Practical, Safe, and Convergent Protocols for Agent Formations
Loading...
File version
Version of Record (VoR)
Author(s)
Estivill-Castro, V
Fernandez, E
Hexel, R
Fernandez, E
Hexel, R
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Jay Katupitiya, Jose Guivant and Ray Eaton
Date
2013
Size
File type(s)
Location
Sydney, Australia
License
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.
Journal Title
Conference Title
Australasian Conference on Robotics and Automation 2013
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights 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.
Item Access Status
Note
Access the data
Related item(s)
Subject
Adaptive Agents and Intelligent Robotics