Author:
Farrell Marie,Luckcuck Matt,Fisher Michael
Publisher
Springer International Publishing
Reference38 articles.
1. Akhtar, N.: Contribution to the formal specification and verification of a multi-agent robotic system. Eur. J. Sci. Res. 117(1), 35–55 (2014)
2. Aniculaesei, A., Arnsberger, D., Howar, F., Rausch, A.: Towards the verification of safety-critical autonomous systems in dynamic environments. Electron. Proc. Theor. Comput. Sci. 232, 79–90 (2016)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Antuña,2015
4. Bi, Z.M., Lang, S.Y.T., Verner, M., Orban, P.: Development of reconfigurable machines. Int. J. Adv. Manuf. Technol. 39(11–12), 1227–1251 (2008)
5. Braman, J.M.B., Murray, R.M., Wagner, D.A.: Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. In: International Conference on Intelligent Robots and Systems, pp. 853–858. IEEE (2007)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献