Benjamin Herd

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 8

Top Venues

MABS

EMAS@AAMAS

IACR Cryptol. ePrint Arch.

AAMAS

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Simon Burton, Benjamin Herd
Addressing uncertainty in the safety assurance of machine-learning. Frontiers Comput. Sci. 5 (2023)
Benjamin Herd, Simon Miles
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis. ACM Trans. Intell. Syst. Technol. 10 (5) (2019)
Fredrik Winzer, Benjamin Herd, Sebastian Faust
Temporary Censorship Attacks in the Presence of Rational Miners. IACR Cryptol. ePrint Arch. 2019 (2019)
Fredrik Winzer, Benjamin Herd, Sebastian Faust
Temporary Censorship Attacks in the Presence of Rational Miners. EuroS&P Workshops (2019)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
Quantitative analysis of multi-agent systems through statistical verification of simulation traces. Int. J. Agent Oriented Softw. Eng. 6 (2) (2018)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
Monitoring Hierarchical Agent-based Simulation Traces. AAMAS (2015)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking. EMAS@AAMAS (2015)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations. MABS (2015)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking. MABS (2013)
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
Compositional transient reachability analysis for agent-based simulations. Stud. Inform. Univ. 10 (3) (2012)

Benjamin Herd.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin Herd