Searched for: subject%3A%22formal%255C%2Banalysis%22
(1 - 2 of 2)
Bosse, T. (author), van Lambalgen, R. (author), van Maanen, P.P. (author), Treur, J. (author)
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...
article 2012
Hoogendoorn, M. (author), Jonker, C.M. (author), van Maanen, P.P. (author), Sharpanskykh, A. (author), TNO Defensie en Veiligheid (author)
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...
article 2008