Publisher
Springer International Publishing
Reference15 articles.
1. Yan, Z., Jouandeau, N., Cherif, A.A.: A survey and analysis of multi-robot coordination. Int. J. Adv. Rob. Syst. 10(12), 399 (2013)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Nath,2018
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;M Kwiatkowska,2002
5. Lecture Notes in Computer Science;M Kwiatkowska,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献