Verification of behaviourist multi-agent systems by means of formally guided simulations
Les systèmes multi-agents (SMA) peuvent être utilisé pour modéliser les phénomènes qui peuvent être décomposés en plusieurs agents qui interagissent et qui existent au sein d'un environnement. En particulier, ils peuvent être utilisés pour modéliser les sociétés humaines et animales, aux fins d...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris Sud - Paris XI
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00656809 http://tel.archives-ouvertes.fr/docs/00/65/68/09/PDF/VD2_SALEM-DA-SILVA_PAULO_28112011.pdf |