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...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://repo.uum.edu.my/id/eprint/17626/1/ISAMSR%202015%2087-92.pdf |