26 records found
1
Modelling and analysis of social contagion in dynamic networks
A hybrid language for formal modeling and analysis of multiagent systems
A formal approach to building compositional agent-based simulations
An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance
Agent-based modelling of social emotional decision making in emergency situations
Modelling and analysis of social contagion processes with dynamic networks
An adaptive agent model for affective social decision making
Agent-based modelling of hazards in air traffic management
Modelling of human performance-related hazards in ATM
Representation for reciprocal agent-environment interaction
Agent-based analysis and support for incident management
Specification and verification of dynamics in agent models
BDI-modelling of complex intracellular dynamics
Formalisation of Damasio's theory of emotion, feeling and core consciousness
A formal method to analyze human reasoning and interpretation in incident mangement.
Automated formal analysis of human multi-issue negotiation processes
Modeling centralized organization of organizational change
Formal analysis of trace conditioning
On the use of organisation modelling techniques to address biologica organisation.
