Volgen
Benjamin C. Herd
Benjamin C. Herd
Fraunhofer Institute for Cognitive Systems
Geverifieerd e-mailadres voor iks.fraunhofer.de
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20