UUM Repository | Universiti Utara Malaysian Institutional Repository
FAQs | Feedback | Search Tips | Sitemap

Verification analysis of an agent based model in behaviour change process

Ojeniyi, Adegoke and Ab. Aziz, Azizi and Yusof, Yuhanis (2015) Verification analysis of an agent based model in behaviour change process. In: International Symposium on Agents Multi-Agent Systems and Robotics (ISAMSR), 18-19 Aug. 2015, Putrajaya.

[img] PDF
Restricted to Repository staff only

Download (424kB) | Request a copy


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: agent model, verification analysis, behaviour change,psychological reactance
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Computing
Depositing User: Dr. Azizi Ab Aziz
Date Deposited: 21 Mar 2016 07:30
Last Modified: 27 Apr 2016 07:34
URI: http://repo.uum.edu.my/id/eprint/17626

Actions (login required)

View Item View Item