Compositional transient reachability analysis for agent-based simulations. - Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck (Stud. Inform. Univ., 2012)

Verification and Validation of Agent-Based Simulations Using Approximate Model Checking. - Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck (MABS, 2013)

Monitoring Hierarchical Agent-based Simulation Traces. - Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck (AAMAS, 2015)

Quantitative Analysis of Multiagent Systems Through Statistical Model Checking. - Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck (EMAS@AAMAS, 2015)

MC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations. - Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck (MABS, 2015)

Statistical runtime verification of agent-based simulations. - Benjamin Herd (2015)

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)

Temporary Censorship Attacks in the Presence of Rational Miners. - Fredrik Winzer; Benjamin Herd; Sebastian Faust (IACR Cryptol. ePrint Arch., 2019)

Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis. - Benjamin Herd; Simon Miles (ACM Trans. Intell. Syst. Technol., 2019)

Addressing uncertainty in the safety assurance of machine-learning. - Simon Burton 001; Benjamin Herd (Frontiers Comput. Sci., 2023)

Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems. - Tom Haider; Karsten Roscher; Benjamin Herd; Felippe Schmoeller Roza; Simon Burton 001 (SAC, 2024)

Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety. - Benjamin Herd; Simon Burton 001 (SAC, 2024)

Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. - Simon Burton 001; Benjamin Herd; João-Vitor Zacchi (SAFECOMP (Workshops), 2024)

A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. - Benjamin Herd; João-Vitor Zacchi; Simon Burton 001 (SAFECOMP (Workshops), 2024)

SOTIF-Analysis Using Fuzzy Cause Trees. - Benjamin Herd; Andreas Kreutz; Mario Trapp (EDCC, 2025)

Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments. - Benjamin Herd; Jessica Kelly; João-Vitor Zacchi; Clarissa Heinemann; Simon Diemert (EDCC, 2025)