首页 /研究 /Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
SWARM

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

Rajeev Alur, J.M. Esposito, M. Kim, Vijay Kumar, Insup Lee

发表年份
1999
引用次数
35