King's College London

Research portal

Mr Benjamin Herd

Former student

Start date at Kings: 21/10/2010

End date: 1/02/2015

Department

Research interests

  • Agent-based simulation of complex adaptive systems
  • Formal verification (model checking)
  • Formal methods
  • Multiagent systems
  • Artificial intelligence

Supervised by

View all (4) »

Top downloads

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454