Prof. Dr. Nico Hochgeschwender

SESAME develops multi-robot systems which are capable of operating dependably in open configurations and in conditions of uncertainty that include the possibility of cyber-attacks.

SAFEMUV develops methods to assure the safety of teams of unmanned aerial vehicles that carry out a safety-critical inspection task of airframes.

VeriComp proposes domain abstractions and verifiable properties at the function and algorithm levels to enable performance and safety analysis of robot motion applications.