![](/img/cover-not-exists.png)
[IEEE 2013 IEEE International Conference on Robotics and Automation (ICRA) - Karlsruhe, Germany (2013.05.6-2013.05.10)] 2013 IEEE International Conference on Robotics and Automation - Tool-assisted verification of behaviour networks
Armbrust, Christopher, Kiekbusch, Lisa, Ropertz, Thorsten, Berns, KarstenYear:
2013
Language:
english
DOI:
10.1109/icra.2013.6630816
File:
PDF, 2.00 MB
english, 2013