Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living
Human activity analysis: A review