Formal foundations for situation awareness based on dependent type theory.

Richard Dapoigny Patrick Barlatier

Published in: Inf. Fusion (2013)

Keyphrases

situation awareness
information fusion
situation aware
air traffic control
decision support
command and control
network centric
current situation
agent model
information sharing
mental models
decision making
decision process
ground truth
artificial intelligence
genetic algorithm
knowledge discovery