A system to support attention allocation: Development and application

This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four sub-models, including a model to reason about a subject's attention. The model was evaluated based on a practical case study which was formally analyzed and verified using...

Formal analysis of empirical traces in incident management

Within the field of incident management split second decisions have to be made, usually on the basis of incomplete and partially incorrect information. As a result of these conditions, errors occur in such decision processes. In order to avoid repetition of such errors, historic cases, disaster plans, and training logs need to be thoroughly...