Verification analysis of an agent based model in behaviour change process

Autor:	Adegoke Ojeniyi, Azizi Ab Aziz, Yuhanis Yusof
Rok vydání:	2015
Předmět:	Agent-based model Behaviour change Computer science business.industry Process (engineering) Stability (learning theory) Formal methods computer.software_genre Point (geometry) Artificial intelligence Data mining business Formal verification computer TRACE (psycholinguistics)
Zdroj:	ISAMSR
DOI:	10.1109/isamsr.2015.7379776
Popis:	This paper describes the verification analysis for agent formal model of behaviour change process. The verification analysis was based on two widely used approaches in agent formal evaluation namely mathematical and automated analysis. The mathematical analysis made use of stability equilibria point while the automated, made use of Temporal Trace Language (TTL). The results obtained verify the formal model validity.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::45560105133ee911222df8725d1c8686 https://doi.org/10.1109/isamsr.2015.7379776 Zobrazit plný text záznamu