Author:
Kułakowski Konrad,Szmuc Tomasz
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Albus, J.S., et al.: 4D/RCS: A Reference Model Architecture For Unmanned Vehicle Systems Version 2.0. Technical report, NIST Interagency (2002)
2. Arkin, R.C.: Intelligent Control of Robot Mobility, ch. 16. Wiley (2007)
3. Baier, C., Katoen, J.: Principles of model checking. The MIT Press, Cambridge (2008)
4. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)
5. Brooks, R.A.: A robust layered control system for a mobile robot. IEEE J. Robot. and Auto. 2(3), 14–23 (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献