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: | , , |
---|---|
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!
|
Be the first to leave a comment!