Verification and Validation of Agent-Based Simulations Using Approximate Model Checking.

Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck

Browse the full MABS paper archive.