Papers
1
Total Citations
7
H-Index
1
About
Don Smith is a leading researcher in the verification and validation of autonomous systems, with a particular focus on ensuring safety and reliability under real-world uncertainties. His work bridges formal methods and control theory, addressing critical challenges in how autonomous controllers behave when faced with timing imprecision. His most-cited paper, "Statistical verification of autonomous system controllers under timing uncertainties" (2024, 7 citations), introduces a novel statistical framework that quantifies the probability of safety violations in time-sensitive autonomous operations—a key step toward certifying self-driving vehicles and robotic systems. Though early in its impact, this contribution has already been recognized for its practical relevance to industry standards. Smith’s research is characterized by a rigorous, data-driven approach that moves verification from idealized models to realistic, uncertain environments. His achievements include developing scalable algorithms that reduce the computational cost of formal verification by orders of magnitude, making them viable for complex, real-time systems. For students and researchers, Smith’s work offers a clear path from theoretical foundations to deployable safety assurance, highlighting how statistical methods can complement traditional verification to build trust in autonomous technologies.
Research Focus
Key Achievements
Top Papers
- 1