Items where authors include "Herd, Benjamin"

Proceedings Paper

Herd, Benjamin, Burton, Simon orcid.org/0000-0001-9040-8752 and Zacchi, João Vitor (2024) A Deductive Approach to Safety Assurance:Formalising Safety Contracts with Subjective Logic. In: Ceccarelli, Andrea, Bondavalli, Andrea, Trapp, Mario, Schoitsch, Erwin, Gallina, Barbara and Bitsch, Friedemann, (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Proceedings. 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2024, 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, SASSUR 2024, Towards A Safer Systems architectur, 17 Sep 2024. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Nature Switzerland , ITA , pp. 213-226.

Haider, Tom, Roscher, Karsten, Herd, Benjamin et al. (2 more authors) (2024) Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems. In: 39th Annual ACM Symposium on Applied Computing, SAC 2024. 39th Annual ACM Symposium on Applied Computing, SAC 2024, 08-12 Apr 2024. Proceedings of the ACM Symposium on Applied Computing . Association for Computing Machinery, Inc , ESP , pp. 1569-1578.

Herd, Benjamin and Burton, Simon orcid.org/0000-0001-9040-8752 (2024) Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety. In: 39th Annual ACM Symposium on Applied Computing, SAC 2024. 39th Annual ACM Symposium on Applied Computing, SAC 2024, 08-12 Apr 2024. Proceedings of the ACM Symposium on Applied Computing . Association for Computing Machinery, Inc , ESP , pp. 1579-1586.