Benjamin Herd
Orcid: 0000-0001-6439-8845
According to our database1,
Benjamin Herd
authored at least 14 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
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
Frontiers Comput. Sci., 2023
2019
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis.
ACM Trans. Intell. Syst. Technol., 2019
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
Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015
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
Stud. Inform. Univ., 2012