Ashley Clark
Papers
1
Total Citations
65
H-Index
1
About
Ashley Clark is a leading researcher in formal methods and control theory, with a focus on safety-critical autonomous systems. Her work bridges the gap between rigorous mathematical verification and practical, real-time decision-making. Clark is best known for pioneering machine learning techniques to accelerate reachability analysis—a fundamental problem in robotics and controls that determines whether a system can reach a particular state within given constraints. Her highly cited 2014 paper, “A machine learning approach for real-time reachability analysis” (65 citations), introduced a novel framework that replaces computationally expensive two-point boundary value problems with learned models, enabling rapid, online safety assessment for dynamical systems. This contribution has had significant impact on the development of reliable autonomous vehicles and robotic manipulators, where split-second decisions are critical. Clark’s work is widely recognized for making formal verification practical for real-world applications, and she continues to shape the field through innovative methods that combine machine learning with control theory.
Research Focus
Key Achievements
Top Papers
- 1A machine learning approach for real-time reachability analysis65 citations · 2014