| 5 | -- | 32 | Bruno Mermet, Gaële Simon. GDT4MAS: a formal model and language to specify and verify agent-based complex systems |
| 33 | -- | 61 | Dominique Hervé, Jean-Pierre Müller, V. Ratiarson, Bertin Ramamonjisoa. Validation of agent-based land use model by Markovian model Application to forest-agriculture transitions in Madagascar |
| 62 | -- | 86 | Philippe Caillou, Javier Gil Quijano, Xiao Zhou. Automated observation of multi-agent based simulations A statistical analysis approach |
| 87 | -- | 118 | Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck. Compositional transient reachability analysis for agent-based simulations |
| 119 | -- | 141 | Madeleine El-Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam. Compositional verification for reactive multi-agent systems applied to platoon non collision verification |