author : M. Kim

Papers/Articles

• Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. 1999. In FM'99 volume 1