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

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

Show other versions (1)

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

Full description

Bibliographic Details
Main Author: Silva, Paulo Salem da
Other Authors: Melo, Ana Cristina Vieira de
Format: Others
Language:en
Published: Biblioteca Digitais de Teses e Dissertações da USP 2011
Subjects:
ambientes
behaviourism
comportamentalismo
environments
formal methods
formal verification
métodos formais
model-based testing
multi-agent systems
simulação
simulation
sistemas multi-agentes
teste baseado em modelos
verificação formal
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