Cover Image

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

Full description

Saved in:
Bibliographic Details
Main Authors: Ojeniyi, Adegoke, Ab. Aziz, Azizi, Yusof, Yuhanis
Format: Conference or Workshop Item
Language:English
Published: 2015
Subjects:
QA75 Electronic computers. Computer science
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!
id my.uum.repo.17626
record_format eprints
spelling my.uum.repo.176262016-04-27T07:34:32Z http://repo.uum.edu.my/17626/ Verification analysis of an agent based model in behaviour change process Ojeniyi, Adegoke Ab. Aziz, Azizi Yusof, Yuhanis QA75 Electronic computers. Computer science 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. 2015 Conference or Workshop Item PeerReviewed application/pdf en http://repo.uum.edu.my/17626/1/ISAMSR%202015%2087-92.pdf 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. http://doi.org/10.1109/ISAMSR.2015.7379776 doi:10.1109/ISAMSR.2015.7379776
institution Universiti Utara Malaysia
building UUM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Utara Malaysia
content_source UUM Institutionali Repository
url_provider http://repo.uum.edu.my/
language English
topic QA75 Electronic computers. Computer science
spellingShingle QA75 Electronic computers. Computer science
Ojeniyi, Adegoke
Ab. Aziz, Azizi
Yusof, Yuhanis
Verification analysis of an agent based model in behaviour change process
description 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.
format Conference or Workshop Item
author Ojeniyi, Adegoke
Ab. Aziz, Azizi
Yusof, Yuhanis
author_facet Ojeniyi, Adegoke
Ab. Aziz, Azizi
Yusof, Yuhanis
author_sort Ojeniyi, Adegoke
title Verification analysis of an agent based model in behaviour change process
title_short Verification analysis of an agent based model in behaviour change process
title_full Verification analysis of an agent based model in behaviour change process
title_fullStr Verification analysis of an agent based model in behaviour change process
title_full_unstemmed Verification analysis of an agent based model in behaviour change process
title_sort verification analysis of an agent based model in behaviour change process
publishDate 2015
url 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
_version_ 1644282263590928384
score 13.160551

Similar Items