Verification of behaviourist multi-agent systems by means of formally guided simulations
Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thes...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Universidade de São Paulo
2011
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ |