Research

TrustCPS develops methods and tools to make AI-enabled cyber-physical systems correct, safe, secure, and sustainable. We combine formal verification, runtime monitoring, testing, and probabilistic reasoning, with direct impact on mobility, robotics, energy, and industry.