Verification analysis of an agent based model in behaviour change process

Adegoke Ojeniyi, Azizi Ab Aziz, Yuhanis Yusoff. Verification analysis of an agent based model in behaviour change process. In International Symposium on Agents, Multi-Agent Systems and Robotics, ISAMSR 2015, Putrajaya, Malaysia, August 18-19, 2015. pages 87-92, IEEE, 2015. [doi]

Abstract

Abstract is missing.