Frank Busse Teaching activities Systems Engineering 2 Einführungspraktikum (Robolab) Robot lab (NES) Research interests Fault tolerance Symbolic execution