Verification analysis of an agent based model in behaviour change process
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...
Saved in:
Main Authors: | Ojeniyi, Adegoke, Ab. Aziz, Azizi, Yusof, Yuhanis |
---|---|
Format: | Conference or Workshop Item |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | http://repo.uum.edu.my/17626/1/ISAMSR%202015%2087-92.pdf http://repo.uum.edu.my/17626/ http://doi.org/10.1109/ISAMSR.2015.7379776 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Agent support model for behaviour change intervention
by: Adegoke, Ojeniyi, et al.
Published: (2018) -
Designing a BDI agent model for behavioural change process
by: Adegoke, Ojeniyi, et al.
Published: (2014) -
Designing a BDI agent reactant model of behavioural change intervention
by: Adegoke, Ojeniyi, et al.
Published: (2015) -
A theoretical and practical approach to a persuasive agent model for change behaviour in oral care and hygiene
by: Adegoke, Ojeniyi
Published: (2016) -
A computational agent model of automaticity for driver’s training
by: Mustapha, Rabi, et al.
Published: (2017)