Author:
Liu Zesen,Guo Meng,Li Zhongkui
Funder
National Natural Science Foundation of China
Ministry of Education of the People's Republic of China
National Key Research and Development Program of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference36 articles.
1. Advances in multi-robot systems;Arai;IEEE Transactions on Robotics and Automation,2002
2. Bubble sort: An archaeological algorithmic analysis;Astrachan;ACM Sigcse Bulletin,2003
3. Principles of model checking;Baier,2008
4. Formal methods for discrete-time dynamical systems, vol. 15;Belta,2017
5. Formal approach to the deployment of distributed robotic teams;Chen;IEEE Transactions on Robotics,2011
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献