• DocumentCode
    3728517
  • Title

    Verification analysis of an agent based model in behaviour change process

  • Author

    Adegoke Ojeniyi;Azizi Ab Aziz;Yuhanis Yusof

  • Author_Institution
    Human - Centred Computing Group (HCC), Computational Intelligence Platform (CIP), School of Computing (SOC), College of Arts and Sciences (CAS), Universiti Utara Malaysia (UUM), Sintok, Kedah, Malaysia
  • fYear
    2015
  • Firstpage
    87
  • Lastpage
    92
  • Abstract
    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.
  • Keywords
    "Computational modeling","Analytical models","Stability analysis","Psychology","Mathematical analysis","Differential equations"
  • Publisher
    ieee
  • Conference_Titel
    Agents, Multi-Agent Systems and Robotics (ISAMSR), 2015 International Symposium on
  • Type

    conf

  • DOI
    10.1109/ISAMSR.2015.7379776
  • Filename
    7379776
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3728517