Automated robot collision avoidance using virtual commissioning and formal methods - Garcia Romero, Lucas; Skalberg, Karl-Oscar (My University, 2017)
Keywords: Elektroteknik och elektronik; Electrical Engineering, Electronic Engineering, Information Engineering