Specification and Verification of Dynamics in Agent Models

by Tibor Bosse , Catholijn M. Jonker , Lourens van der Meij , Alexei Sharpanskykh , Jan Treur
Citations:60 - 48 self

Documents Related by Co-Citation

365 The feeling of what happens: Body, emotion and the making of consciousness – A R Damasio - 1999
168 Leadsto: A language and environment for analysis of dynamics by simulation – Tibor Bosse, Catholijn M. Jonker, Lourens Van Der Meij, Jan Treur - 2005
1003 The Organization of Behavior – D Hebb - 1949
101 Formal Analysis of Models for the Dynamics of Trust based on Experiences – Catholijn M. Jonker, Jan Treur - 1999
81 The Somatic Marker Hypothesis: A Neural Theory of Economic Decision – Antoine Bechara, Antonio R. Damasio - 2005
1403 Diffusion of innovations – E M Rogers - 1983
928 Descartes’ error: Emotion, reason and the human brain – A R Damasio - 1994
495 Orienting of attention – M I Posner - 1980
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999