Benjamin Herd

King's College London

Papers

3

Total Citations

21

H-Index

2

About

No biography available yet.

Research Focus

Computer science3 · 21 citations
Artificial intelligence2 · 16 citations
Theoretical computer science2 · 16 citations
Correctness2 · 16 citations
Focus (optics)2 · 16 citations
Formal verification2 · 16 citations
TRACE (psycholinguistics)2 · 16 citations
Swarm robotics2 · 16 citations
Machine learning2 · 16 citations
Multi-agent system1 · 14 citations
Model checking1 · 14 citations
Programming language1 · 14 citations

Key Achievements

2
H-Index
3
Papers
21
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
14 citations · 2015
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: King's College London

Top Papers

  1. 1
    Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
    14 citations · 2015
  2. 2
    Quantitative analysis of multi-agent systems through statistical verification of simulation traces
    5 citations · 2018
  3. 3
    Quantitative analysis of multi-agent systems through statistical verification of simulation traces
    2 citations · 2018

Key Collaborators

GFG. Flucke3 shared papersPMPeter McBurney3 shared papersSMSimon Miles3 shared papers
Not generated yet