Get started
Author

Benjamin Herd

Observed names: Benjamin C. Herd, Herd, Benjamin, Herd, Benjamin Christoph
ORCID: 0000-0001-6439-8845
Observed ORCID: 0000-0001-6439-8845
OpenAlex ID: A5003599831
Addressing uncertainty in the safety assurance of machine-learning
2023 · Simon Burton, Benjamin Herd · Frontiers in Computer Science · 68
PDF
Temporary Censorship Attacks in the Presence of Rational Miners
2019 · Fredrik Winzer, Benjamin Herd, et al. · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · 57
Atomic Scale Insights into the Initial Oxidation of Ru(0001) Using Molecular Oxygen: A Scanning Tunneling Microscopy Study
2012 · Benjamin Herd, Marcus Knapp, et al. · The Journal of Physical Chemistry C · 57
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
2015 · Benjamin Herd, Simon Miles, et al. · Lecture notes in computer science · 15
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking
2014 · Benjamin Herd, Simon Miles, et al. · Lecture notes in computer science · 12
Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety
2024 · Benjamin Herd, Simon Burton · ACM Symposium on Applied Computing · 11
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis
2019 · Benjamin C. Herd, Simon Miles · ACM Transactions on Intelligent Systems and Technology · 11
Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems
2024 · Tom Haider, Karsten Roscher, et al. · ACM Symposium on Applied Computing · 7
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic
2024 · Benjamin Herd, João-Vitor Zacchi, et al. · Lecture notes in computer science · 6
PDF
$$ \texttt {MC} ^ \texttt {2} \texttt {MABS} $$ MC 2 MABS : A Monte Carlo Model Checker for Multiagent-Based Simulations
2016 · Benjamin Herd, Simon Miles, et al. · Lecture notes in computer science · 6
Quantitative analysis of multi-agent systems through statistical verification of simulation traces
2018 · Benjamin Herd, Simon Miles, et al. · International Journal of Agent-Oriented Software Engineering · 5
Statistical runtime verification of agent-based simulations
2015 · Benjamin Herd · Research Portal (King's College London) · 5
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements
2024 · Simon Burton, Benjamin Herd, et al. · Lecture notes in computer science · 4
Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments
2025 · Benjamin Herd, Jessica Kelly, et al. · European Dependable Computing Conference · 3
CUBICS: Situation-aware performance estimation for safety-relevant ML components
2026 · Herd, Benjamin, Kelly, Jessica, et al. · arXiv (Cornell University) · 1
PDF
MC 2 MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations.
2015 · Benjamin Herd, Simon Miles, et al. · mAbs · 1
Compositional transient reachability analysis for agent-based simulations
2012 · Benjamin Herd, Simon Miles, et al. · Research Portal (King's College London) · 1
PDF
Runtime Trustworthiness Under Uncertainty: A Fuzzy Cause Tree and Subjective Logic Framework for Autonomous Systems
2026 · Pathmakumar, Thejus, Herd, Benjamin, et al. · HAL
CUBICS: Situation-aware performance estimation for safety-relevant ML components
2026 · Herd, Benjamin, Kelly, Jessica, et al. · Zenodo (CERN European Organization for Nuclear Research)
Temporal Monitoring of Agent Beliefs Under Uncertainty with Subjective LTL
2026 · Benjamin Herd, Jessica Kelly, et al. · Proceedings of the AAAI Symposium Series
PDF
Towards a Compositional Semantics for Quantitative Confidence Assessment in Assurance Arguments
2026 · Benjamin Herd, Jessica Kelly, et al. · European Dependable Computing Conference
PDF
A Subjective Logic-based method for runtime confidence updates in safety arguments
2026 · Benjamin Herd, Jessica Kelly, et al. · ACM Symposium on Applied Computing
A Subjective Logic-based method for runtime confidence updates in safety arguments
2026 · Herd, Benjamin, Kelly, Jessica, et al. · Fraunhofer-Publica (Fraunhofer-Gesellschaft)
SOTIF-Analysis Using Fuzzy Cause Trees
2025 · Benjamin Herd, Andreas Kreutz, et al. · European Dependable Computing Conference
Complexity, uncertainty and the Safety of ML
2023 · Burton, Simon, Herd, Benjamin, et al. · HAL
PDF
Works count: 32
Citation count: 271
H-index: 7
I10-index: 7
Year
Topic
Type