Benjamin Herd

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Venues

SAC

EMAS@AAMAS

IACR Cryptol. ePrint Arch.

AAMAS

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Tom Haider, Karsten Roscher, Benjamin Herd, Felippe Schmoeller Roza, Simon Burton
Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems. SAC (2024)
Benjamin Herd, Simon Burton
Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety. SAC (2024)
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