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 thesis i...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2011
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ |