Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.

Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee

Browse the full FM paper archive.