Specification and Verification of Dynamics in Cognitive Agent Models


Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to analyse the dynamics of such processes, often based on differential equations, are not always successful. As an alternative to differential equations, this paper presents the… (More)
DOI: 10.1109/IAT.2006.112


2 Figures and Tables