Anomalous behavior recognition and situation prediction

This topic concerns the definition of techniques and methodologies, based on formal methods, for the detection and identification of anomalous human behavior especially concerning cognitive impaired patients. This includes: the definition of formalisms for the representation of human behaviors and anomalies; the definition of techniques and tools for the analysis, detection and identification of anomalous behaviors; the definition of formalisms for the representation of current and (potential) future situations; the definition of methods for the prediction of situation transitions.