Research output per year
Research output per year
Personal profile
Research interests (short)
- Agent-based simulation of complex adaptive systems
- Formal verification (model checking)
- Formal methods
- Multiagent systems
- Artificial intelligence
Fingerprint
Dive into the research topics where Benjamin Herd is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Monitoring hierarchical agent-based simulation traces
Herd, B., Miles, S., McBurney, P. & Luck, M., 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 463-471 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access2 Citations (Scopus) -
Verification and validation of agent-based simulations using approximate model checking
Herd, B., Miles, S., McBurney, P. & Luck, M., 1 Apr 2014, Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Alam, S. J. & Parunak, H. V. D. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8235 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8235 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
4 Citations (Scopus) -
Compositional transient reachability analysis for agent-based simulations
Herd, B., Miles, S., McBurney, P. & Luck, M., 2012, In: Studia Informatica Universalis. 10, 3, p. 87-118 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile66 Downloads (Pure) -
Reachability analysis for agent-based simulations
Herd, B., Miles, S., McBurney, P. & Luck, M., 2011, Proceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
BCS Doctoral Consortium
Herd, B. (Speaker)
2012Activity: Participating in or organising an event › Participation in conference
-
1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS)
Herd, B. (Speaker)
17 Nov 2011Activity: Participating in or organising an event › Participation in workshop, seminar, course
Thesis
-
Entwurf und Implementierung eines objektorientierten Frameworks zur Simulation von Gruppendynamik
Herd, B. (Author), 2008Student thesis: Master's Thesis › Master of Science
-
Statistical runtime verification of agent-based simulations
Herd, B. (Author), McBurney, P. J. (Supervisor), Luck, M. M. (Supervisor) & Miles, S. (Supervisor), 2015Student thesis: Doctoral Thesis › Doctor of Philosophy
File