Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living
Activity recognition and abnormality detection with the switching hidden semi-Markov model