Publications / Activities

Publications

B. Herd, N. Scharmann, S. Phelps [2018]
Towards the model-based design and analysis of decentralised Economies of Things 
Technical Report, King’s College London
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2018]
Quantitative analysis of multi-agent systems through statistical verification of simulation traces
International Journal of Agent-Oriented Software Engineering (IJAOSE)
In press

B. Herd [2016]
An agent-oriented programming approach for C++-based simulation models
Technical Report TR-16-02, King’s College London
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2016]
MC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations
B. Gaudou, J. S. Sichman (Editors): Multiagent-based Simulation XVI, Lecture Notes in Computer Science (LNCS), pp 37-54, ISBN: 978-3-319-31446-4
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2015]
Quantitative analysis of multiagent systems through statistical model checking
M. Baldoni, L. Baresi, M. Dastani (Editors): Engineering Multiagent Systems III, Lecture Notes in Computer Science (LNCS), pp 109-130, ISBN: 978-3-319-26183-6
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2015]
Monitoring hierarchical agent-based simulation traces
G. Weiss, P. Yolum, R. Bordini and E. Elkind (Editors): International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2015), Istanbul, Turkey, 2015, ISBN: 978-1-4503-3413-6
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2015]
Towards quantitative analysis of multiagent systems through statistical model checking
Proceedings of the 3rd International Workshop on Engineering Multiagent Systems (EMAS), Istanbul, Turkey, 2015
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2015]
Approximate verification of swarm-based systems: a vision and preliminary results
M. Parsons, T. Anderson (Editors): Engineering Systems for Safety: Proceedings of the 23rd Safety-critical Systems Symposium (SSS), Bristol, UK, 2015, ISBN: 978-1-5056-8908-2
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2014]
Verification and validation of agent-based simulations using approximate model checking
S. J. Alam, H. Van Dyke Parunak (Editors): Multi-Agent-Based Simulation XIV, Lecture Notes in Computer Science (LNCS), pp 53-70, ISBN: 978-3-642-54782-9
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2014]
An LTL-based property specification language for agent-based simulation traces
Technical Report TR-14-02, King’s College London
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2013]
Verification and validation of agent-based simulations using approximate model checking
Proceedings of the 14th Int. Workshop on Multi-Agent-Based Simulation (MABS), St Paul, MN, USA, 2013

B. Herd, S. Miles, P. McBurney, M. Luck [2012]
Compositional transient reachability analysis for agent-based simulations
I. Lavallee, A. Bui (Editors): Studia Informatica Universalis, 10 (3): pp 87-118
[PDF]

B. Herd, S. Miles, P. McBurney, M. Luck [2011]
Reachability analysis for agent-based simulations
Proceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS), Paris, France, 2011

Theses

Statistical runtime verification of agent-based simulations
PhD thesis, King’s College London, 2015
[PDF]

BDI4MABS: An agent-oriented programming approach for high-performance multiagent-based simulation
Master’s Thesis, University of Oxford, 2015
[PDF]

Entwurf und Implementierung eines objektorientierten Frameworks zur Simulation von Gruppendynamik
Master’s Thesis, FernUniversität Hagen (Germany), 2007
[PDF]

Work in progress

B. Herd, S. Miles
Towards a methodology for simulation-based causal analysis

B. Herd, N. Scharmann
The design of fair and stable decentralised coordination mechanisms

Presentations

Approximate verification of swarm-based systems: a vision and preliminary results (Presentation)
23rd Safety-critical Systems Symposium (SSS), Bristol, 2015

Approximate verification of swarm-based systems (Presentation)
Agents & Intelligent Systems Research Seminar, King’s College London, 2015

Formal verification of agent-based simulations (Presentation)
Agents & Intelligent Systems Research Seminar, King’s College London, 2013

Formal verification of agent-based simulations (Presentation)
Doctoral Consortium, British Computer Society, London, 2012

Compositional transient reachability analysis for agent-based simulations (Presentation)
1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS), Paris, 2011

Technical aspects of OpenXML (Presentation)
SNV UK14 information meeting, Olten (Switzerland), 2007

Teaching
  • Complexity science, game theory, and multiagent systems (November 2016)
    Part of ‘Modern Network Infrastructures’ for MSc students
    HECTOR School of Engineering and Management, Karlsruhe Institute of Technology (KIT)
  • Agent-based modelling & simulation (December 2014)
    EPSRC Centre of Doctoral Training in Cross-disciplinary Approaches to Non-Equilibrium Systems (CANES), King’s College London
  • Agent-based modelling & simulation (November 2014)
    Part of ‘7CCSMAMS: Agents & Multiagent Systems’ for MSc students in Computer Science
    King’s College London
Review activity
  • 16th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS) Demo Track, Sao Paolo, Brazil, 2017 (PC member)
  • 15th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS) Demo Track, Singapore, 2016 (PC member)
  • 2nd Int. Symposium on Artificial Life and Intelligent Agents (ALIA), Birmingham, UK, 2016 (PC member)
  • 1st Int. Symposium on Artificial Life and Intelligent Agents (ALIA), Bangor, UK, 2014 (PC member)
  • The 1st Int. Workshop on Developing and Applying Agent Frameworks (DAAF), Hasselt, Belgium, 2014 (PC member)
  • Transactions of Autonomous and Adaptive Systems (TAAS), ACM, 2014 (Reviewer)
  • Knowledge Engineering Review, Cambridge Journals, 2014 (Reviewer)
  • Distributed & Parallel Databases Journal (DAPD), Springer, 2014 (Reviewer)
  • The 17th Int. Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014), Paris, France, 2014 (Reviewer)