Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification

Jan Murray, Frieder Stolzenburg, Toshiaki Arai. Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. KI, 20(3):45-50, 2006. [doi]

Abstract

Abstract is missing.