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