Christoph Hertzberg

University of Bremen, German Research Centre for Artificial Intelligence

Papers

Total Citations

H-Index

About

Christoph Hertzberg is a researcher whose work sits at the intersection of formal verification, robotics, and autonomous exploration. His most influential contribution, "Guaranteeing functional safety: design for provability and computer-aided verification" (2011, 42 citations), addresses a critical challenge in safety-critical systems: how to design hardware and software that can be mathematically proven to meet functional safety standards. This work has implications for autonomous vehicles, industrial robotics, and aerospace systems, where failure is not an option. Hertzberg also contributed to practical model fitting with his "Tutorial on Quick and Easy Model Fitting Using the SLoM Framework" (2012, 5 citations), providing accessible tools for researchers. More recently, he has turned his attention to planetary exploration, co-authoring "Internal Simulation for Autonomous Robot Exploration of Lava Tubes" (2018, 4 and 2 citations), which explores how robots can use internal models to navigate unknown, GPS-denied environments like lava tubes on Mars or the Moon. His work bridges rigorous formal methods with real-world robotic autonomy, making him a notable figure in the push toward provably safe autonomous systems.