Benjamin Herd

17 papers A 1C 2Misc 4Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments.
EDCC
Benjamin Herd, Jessica Kelly, João-Vitor Zacchi, Clarissa Heinemann, Simon Diemert
2025 Misc conf
SOTIF-Analysis Using Fuzzy Cause Trees.
EDCC
Benjamin Herd, Andreas Kreutz, Mario Trapp
2024 — conf
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.
SAFECOMP (Workshops)
Benjamin Herd, João-Vitor Zacchi, Simon Burton
2024 Misc conf
Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems.
SAC
Tom Haider, Karsten Roscher, Benjamin Herd, Felippe Schmoeller Roza, Simon Burton
2024 Misc conf
Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety.
SAC
Benjamin Herd, Simon Burton
2024 — conf
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements.
SAFECOMP (Workshops)
Simon Burton, Benjamin Herd, João-Vitor Zacchi
2023 J jnl
Addressing uncertainty in the safety assurance of machine-learning.
Frontiers Comput. Sci.
Simon Burton, Benjamin Herd
2019 J jnl
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis.
ACM Trans. Intell. Syst. Technol.
Benjamin Herd, Simon Miles
2019 — conf
Temporary Censorship Attacks in the Presence of Rational Miners.
EuroS&P Workshops
Fredrik Winzer, Benjamin Herd, Sebastian Faust
2019 J jnl
Temporary Censorship Attacks in the Presence of Rational Miners.
IACR Cryptol. ePrint Arch.
Fredrik Winzer, Benjamin Herd, Sebastian Faust
2018 J jnl
Quantitative analysis of multi-agent systems through statistical verification of simulation traces.
Int. J. Agent Oriented Softw. Eng.
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015 C conf
MC
MABS
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015 A conf
Monitoring Hierarchical Agent-based Simulation Traces.
AAMAS
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015 — conf
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking.
EMAS@AAMAS
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015 — —
Statistical runtime verification of agent-based simulations.
Benjamin Herd
2013 C conf
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking.
MABS
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2012 J jnl
Compositional transient reachability analysis for agent-based simulations.
Stud. Inform. Univ.
Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck