Hybrid state machines with timed synchronization for multi-robot system specification (2005)

by Jan Murray, Frieder Stolzenburg
Venue:Proceedings of Workshop on Intelligent Robotics (IROBOT’2005