Ben Wooding
Papers
1
Total Citations
6
H-Index
1
About
Ben Wooding is a researcher at the forefront of formal methods and control theory, specializing in the scalable synthesis of controllers for large-scale stochastic systems. His work addresses a critical bottleneck in cyber-physical systems: the computational complexity of constructing interval Markov decision processes (IMDPs) from complex dynamics. Wooding’s flagship contribution, the "IMPaCT" framework, introduces a parallelized construction algorithm that drastically reduces the time and memory required to build these models, enabling controller synthesis for systems previously deemed intractable. This work, published in 2024 and already garnering 6 citations, demonstrates immediate impact in the field. By bridging the gap between theoretical abstraction techniques and practical, high-dimensional applications—such as autonomous systems and robotics—Wooding is paving the way for safer, verifiable AI-driven control. His research is particularly notable for its emphasis on scalability and efficiency, offering a toolkit that empowers other researchers to tackle real-world stochastic problems with rigorous guarantees. For students and engineers alike, Wooding’s work represents a vital step toward making formal verification a standard tool in the design of reliable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1