Jens Oehlerking

Papers

Total Citations

H-Index

About

Jens Oehlerking’s research lies at the intersection of robotics, formal verification, and hybrid systems, with a focus on ensuring safety in autonomous systems. His most influential work, “Provably safe motion of mobile robots in human environments” (66 citations), addresses a critical challenge in human-robot interaction: how to guarantee that mobile robots navigating crowded spaces will never harm pedestrians. Oehlerking demonstrates that traditional safety-field approaches, while provably safe, are overly conservative and degrade performance in dynamic environments. His contributions provide a framework for balancing rigorous safety guarantees with practical mobility, a key step toward deploying robots in hospitals, warehouses, and public spaces. In addition, Oehlerking has contributed to the verification of hybrid systems with “holes”—incomplete model specifications—as seen in his 2018 benchmark paper (3 citations). This work enables third parties to plug in specific behaviors without compromising system properties, advancing modular verification. Oehlerking’s research is essential reading for anyone working in safe autonomous navigation, formal methods, or cyber-physical systems, offering both theoretical depth and real-world applicability.