Seguir
Benjamin C. Herd
Benjamin C. Herd
GlobalABM Ltd, King's College London
Dirección de correo verificada de kcl.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
132015
Quantitative analysis of multiagent systems through statistical model checking
B Herd, S Miles, P McBurney, M Luck
International Workshop on Engineering Multi-Agent Systems, 109-130, 2015
122015
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
8*2015
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
8*2015
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
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
52019
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
42018
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
42015
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
Compositional transient reachability analysis for agent-based simulations.
B Herd, S Miles, P McBurney, M Luck
Studia Informatica Universalis 10 (3), 87-118, 2012
32012
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
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
22011
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
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
downloaded from the King’s Research Portal at https://kclpure. kcl. ac. uk/portal
JDG Wood
2008
Entwurf und Implementierung eines objektorientierten Frameworks zur Simulation von Gruppendynamik
B Herd
2007
Category: Agent-based modelling
BC Herd
Category: Philosophy
BC Herd
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20