| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS) |
| Publication status | Published - 2011 |
Reachability analysis for agent-based simulations
Research output: Chapter in Book/Report/Conference proceeding › Conference paper