King's College London

Research portal

Reachability analysis for agent-based simulations

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationProceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS)
Publication statusPublished - 2011

King's Authors

View graph of relations

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