Verification of behaviourist multi-agent systems by means of formally guided simulations

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...

Full description

Bibliographic Details
Main Author: Paulo Salem da Silva
Other Authors: Ana Cristina Vieira de Melo
Language:English
Published: Universidade de São Paulo 2011
Subjects:
ambientes
comportamentalismo
métodos formais
simulação
sistemas multi-agentes
teste baseado em modelos
verificação formal
behaviourism
environments
formal methods
formal verification
model-based testing
multi-agent systems
simulation
Online Access:http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

Internet

http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

Similar Items