A small, autonomous, agile robot with an on-board, neurobiologically-based control system
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Bisimulation conversion and verification procedure for goal-based control systems
Formal Methods in System Design
Hi-index | 0.00 |