Sebastian Ebert

Collaboration between humans and robots in shared working areas, results in decreased productivity and thus increased development costs, because development of software for collaborating robots is a complex, time-intensive, and demanding task. A central part of my work is to optimize robotic software development processes, based on formal methods, such as Petri Nets.