Agent-based modelling for analysis of resilience in ATM

An integrated multi-agent model for modelling hazards within Air Ttraffic Management

Human aspects in ambient intelligence

An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance

Challenges in computational modeling of affective processes

Agent-based modelling of social emotional decision making in emergency situations

Modelling of potential hazards in agent-based safety risk analysis

Modelling of human performance-related hazards in ATM

Agent-based modelling of hazards in air traffic management

Modelling of human performance-related hazards in ATM

Specification and verification of dynamics in agent models

Improving internet observer reliability by artificial intelligence techniques in behavioural research

Representation for reciprocal agent-environment interaction

Journal of ambient intelligence and smart environments

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

Formal analysis of trace conditioning

Formal analysis of trust dynamics in human and software agent experiments

A formal empirical analysis method for human reasoning and interpretation