Clara Hobbs
Papers
1
Total Citations
7
H-Index
1
About
Clara Hobbs is a leading researcher in the formal verification and safe control of autonomous systems, with a particular focus on cyber-physical systems operating under uncertainty. Her work bridges the gap between theoretical guarantees and real-world deployment, addressing critical challenges in timing uncertainties and stochastic environments. In her highly cited 2024 paper, "Statistical verification of autonomous system controllers under timing uncertainties," Hobbs introduced novel statistical methods to verify that autonomous controllers—such as those in self-driving cars or drones—remain safe even when faced with unpredictable delays or jitter. This contribution has garnered 7 citations in just its first year, reflecting its immediate impact on the field. Hobbs’ research is distinguished by its practical rigor: she combines probabilistic model checking with simulation-based techniques to provide scalable, provable safety assurances. Her work is essential reading for engineers and researchers developing reliable autonomous systems, and she is recognized as a rising voice in the verification community.
Research Focus
Key Achievements
Top Papers
- 1