Author:
Kiekbusch Lisa,Armbrust Christopher,Berns Karsten
Funder
Seventh Framework Programme
Carl-Zeiss-Stiftung
Subject
Computer Science Applications,General Mathematics,Software,Control and Systems Engineering
Reference33 articles.
1. Behaviour-Based Robotics;Arkin,1998
2. M.N. Nicolescu, M.J. Matarić, A hierarchical architecture for behavior-based robots, in: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, 2002, pp. 227–233.
3. Behaviour-based systems;Matarić,2008
4. L. Kiekbusch, C. Armbrust, K. Berns, Formal verification of behaviour networks including hardware failures, in: Proceedings of the 13th International Conference on Intelligent Autonomous Systems, IAS-13, Padova, Italy, 2014.
5. Verification of behaviour networks using finite-state automata;Armbrust,2012
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献