In English

Automated robot collision avoidance using virtual commissioning and formal methods

Lucas Garcia Romero ; Karl-Oscar Skalberg
Göteborg : Chalmers tekniska högskola, 2017. Examensarbete - Institutionen för elektroteknik, Chalmers tekniska högskola; EX079/2017, 2017.
[Examensarbete på avancerad nivå]