| Temporary censorship attacks in the presence of rational miners F Winzer, B Herd, S Faust 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2019 | 64 | 2019 |
| Addressing uncertainties in the safety assurance of machine-learning S Burton, B Herd Frontiers in Computer Science 5, 2023 | 22 | 2023 |
| Quantitative analysis of multiagent systems through statistical model checking B Herd, S Miles, P McBurney, M Luck Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015 …, 2015 | 20 | 2015 |
| Verification and validation of agent-based simulations using approximate model checking B Herd, S Miles, P McBurney, M Luck Multi-Agent-Based Simulation XIV, Lecture Notes in Computer Science (LNCS …, 2014 | 20 | 2014 |
| Statistical runtime verification of agent-based simulations B Herd King's College London, 2015 | 15 | 2015 |
| MC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations B Herd, S Miles, P McBurney, M Luck Multi-Agent Based Simulation XVI, 37-54, 2015 | 11* | 2015 |
| Detecting causal relationships in simulation models using intervention-based counterfactual analysis BC Herd, S Miles ACM Transactions on Intelligent Systems and Technology (TIST) 10 (5), 1-25, 2019 | 9 | 2019 |
| Quantitative analysis of multi-agent systems through statistical verification of simulation traces B Herd, S Miles, P McBurney, M Luck International Journal of Agent-Oriented Software Engineering 6 (2), 156-186, 2018 | 8 | 2018 |
| An LTL-based property specification language for agent-based simulation traces B Herd, S Miles, P McBurney, M Luck Technical Report 14-02, King’s College London, 2014 | 6 | 2014 |
| Towards the Model-Based Analysis and Design of Decentralised Economies of Things B Herd, N Scharmann, S Phelps https://kclpure.kcl.ac.uk/portal/en/publications/towards-the-modelbased …, 2018 | 3 | 2018 |
| Monitoring hierarchical agent-based simulation traces B Herd, S Miles, P McBurney, M Luck International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS …, 2015 | 3 | 2015 |
| Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety B Herd, S Burton SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing …, 2024 | 2 | 2024 |
| An agent-oriented programming approach for C++-based simulation models B Herd Technical Report TR-16-02, King’s College London, 2016 | 2 | 2016 |
| Approximate verification of swarm-based systems: a vision and preliminary results B Herd, S Miles, P McBurney, M Luck Engineering Systems for Safety: Proceedings of the 23rd Safety-critical …, 2015 | 2 | 2015 |
| Compositional transient reachability analysis for agent-based simulations. B Herd, S Miles, P McBurney, M Luck Studia Informatica Universalis 10 (3), 87-118, 2012 | 2 | 2012 |
| Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems T Haider, K Roscher, B Herd, F Schmoeller da Roza, S Burton SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing …, 2024 | 1 | 2024 |
| Towards quantitative analysis of multiagent systems through statistical model checking B Herd, S Miles, P McBurney, M Luck 3rd International Workshop on Engineering Multiagent Systems (EMAS), 2015 | 1 | 2015 |
| Reachability analysis for agent-based simulations B Herd, S Miles, P McBurney, M Luck 1st International Workshop on Verification and Validation of Agent-based …, 2011 | 1 | 2011 |
| Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements S Burton, B Herd, JV Zacchi International Conference on Computer Safety, Reliability, and Security, 391-404, 2024 | | 2024 |
| A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic B Herd, JV Zacchi, S Burton International Conference on Computer Safety, Reliability, and Security, 213-226, 2024 | | 2024 |
Simon MilesHead of AI, AerogilityVerified email at aerogility.com
