Benjamin Herd
Papers
3
Total Citations
21
H-Index
2
About
Benjamin Herd’s research centers on the formal analysis and verification of complex multi-agent systems, with a particular focus on developing scalable, statistical methods to overcome the limitations of exhaustive verification. His major contributions lie in pioneering statistical model checking and statistical verification of simulation traces, techniques that allow researchers to analyze the behavior of large-scale, intricate agent-based models without succumbing to combinatorial explosion. By shifting the focus from verifying entire state spaces to evaluating individual simulation traces, Herd has provided a practical and powerful alternative for ensuring system reliability and correctness. His most cited work, “Quantitative Analysis of Multiagent Systems Through Statistical Model Checking” (2015), has garnered 14 citations, reflecting its foundational impact in the field. Herd’s approach is especially valuable for domains where systems are too complex for traditional verification, such as robotics, economics, and social simulation. His ongoing efforts continue to bridge the gap between theoretical verification and real-world applicability, making his work essential reading for researchers tackling the challenges of modern, decentralized systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3