Benjamin Herd

Orcid: 0000-0001-6439-8845

According to our database1, Benjamin Herd authored at least 14 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023
Addressing uncertainty in the safety assurance of machine-learning.
Frontiers Comput. Sci., 2023

2019
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis.
ACM Trans. Intell. Syst. Technol., 2019

Temporary Censorship Attacks in the Presence of Rational Miners.
IACR Cryptol. ePrint Arch., 2019

2018
Quantitative analysis of multi-agent systems through statistical verification of simulation traces.
Int. J. Agent Oriented Softw. Eng., 2018

2015
Statistical runtime verification of agent-based simulations.
PhD thesis, 2015

MC<sup>2</sup>MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations.
Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015

Quantitative Analysis of Multiagent Systems Through Statistical Model Checking.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Monitoring Hierarchical Agent-based Simulation Traces.
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.
Proceedings of the Multi-Agent-Based Simulation XIV - International Workshop, 2013

2012
Compositional transient reachability analysis for agent-based simulations.
Stud. Inform. Univ., 2012


  Loading...