Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination

by R. Alur, et al.
Citations:17 - 3 self