Cedric Stark
Papers
1
Total Citations
5
H-Index
1
About
Cedric Stark is a researcher at the intersection of robotics, biomechanics, and formal verification, with a focus on safe human-robot interaction. His key contributions lie in developing rigorous, model-based methods to guarantee safety in shared workspaces, particularly through reachset conformance testing. In his most cited work, "Reachset Conformance Testing of Human Arms with a Biomechanical Model" (2018, 5 citations), Stark introduced a novel framework that predicts the future volume a human arm could occupy, enabling real-time collision avoidance even under unexpected movements. This approach bridges biomechanical modeling with formal safety guarantees, offering a computationally efficient alternative to probabilistic methods. While his citation count is modest, Stark’s work is notable for its foundational impact on safety-critical robotics, influencing how researchers design predictable, human-aware systems. His achievements include advancing conformance testing from purely robotic systems to human models, a step toward certifiably safe co-robots. For students and researchers, Stark’s research exemplifies how formal methods can be adapted to the unpredictability of human motion, offering a principled path to trustworthy human-robot coexistence.
Research Focus
Key Achievements
Top Papers
- 1Reachset Conformance Testing of Human Arms with a Biomechanical Model5 citations · 2018