Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns. Tool-assisted verification of behaviour networks. In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013. pages 1813-1820, IEEE, 2013. [doi]
Abstract is missing.