Seguir
Benjamin C. Herd
Benjamin C. Herd
Fraunhofer Institute for Cognitive Systems
Dirección de correo verificada de iks.fraunhofer.de
Título
Citado por
Citado por
Año
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
522019
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
182015
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
162014
Statistical runtime verification of agent-based simulations
B Herd
King's College London, 2015
142015
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
102019
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
9*2015
Addressing uncertainties in the safety assurance of machine-learning
S Burton, B Herd
Frontiers in Computer Science 5, 2023
82023
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
82018
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
62014
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
32018
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
32015
An agent-oriented programming approach for C++-based simulation models
B Herd
Technical Report TR-16-02, King’s College London, 2016
22016
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
22015
Compositional transient reachability analysis for agent-based simulations.
B Herd, S Miles, P McBurney, M Luck
Studia Informatica Universalis 10 (3), 87-118, 2012
22012
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
12015
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
12011
Complexity, uncertainty and the Safety of ML
S Burton, B Herd
SAFECOMP 2023, Position Paper, 2023
2023
Method and device for obtaining a proof of work in a computer network
B Herd, N Scharmann
US Patent App. 16/525,055, 2020
2020
MC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations
B Herd, S Miles, P McBurney, M Luck
16th International Workshop on Multiagent-based Simulation (MABS), 2015
2015
Entwurf und Implementierung eines objektorientierten Frameworks zur Simulation von Gruppendynamik
B Herd
2007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20