Tool-assisted verification of behaviour networks.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Browse the full ICRA paper archive.