Benjamin Herd

According to our database, Benjamin Herd authored at least 10 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Addressing uncertainty in the safety assurance of machine-learning.

Simon Burton, Benjamin Herd

Frontiers Comput. Sci., 2023

2019

Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis.

Benjamin Herd, Simon Miles

ACM Trans. Intell. Syst. Technol., 2019

Temporary Censorship Attacks in the Presence of Rational Miners.

Fredrik Winzer, Benjamin Herd, Sebastian Faust

IACR Cryptol. ePrint Arch., 2019

2018

Quantitative analysis of multi-agent systems through statistical verification of simulation traces.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Int. J. Agent Oriented Softw. Eng., 2018

2015

Statistical runtime verification of agent-based simulations.

Benjamin Herd

PhD thesis, 2015

MC²MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015

Quantitative Analysis of Multiagent Systems Through Statistical Model Checking.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Monitoring Hierarchical Agent-based Simulation Traces.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2013

Verification and Validation of Agent-Based Simulations Using Approximate Model Checking.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Proceedings of the Multi-Agent-Based Simulation XIV - International Workshop, 2013

2012

Compositional transient reachability analysis for agent-based simulations.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Stud. Inform. Univ., 2012