Specification and Verification of Dynamics in Cognitive Agent Models

Abstract

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

Topics

2 Figures and Tables