Simon Miles
Papers
3
Total Citations
21
H-Index
2
About
Simon Miles is a leading researcher in the formal verification and quantitative analysis of complex, large-scale multi-agent systems. His primary contributions lie in developing scalable methods to ensure the reliability of systems too intricate for traditional exhaustive verification. Miles pioneered the application of statistical model checking and statistical verification of simulation traces, offering a powerful alternative that circumvents the combinatorial explosion plaguing conventional approaches. His seminal 2015 paper, "Quantitative Analysis of Multiagent Systems Through Statistical Model Checking," which has garnered 14 citations, established a foundational framework for this work. By focusing on the probabilistic verification of individual simulation traces, Miles enables engineers to gain meaningful, quantitative insights into system behavior without exhaustive state-space exploration. His ongoing research continues to refine these statistical techniques, making them practical for real-world deployment. Miles’s work is essential reading for anyone tackling the verification challenges of autonomous, distributed, and AI-driven systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3