Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE T. Human-Machine Systems, 43(6):509-521, 2013. [doi]

This author has not been identified. Look up 'Tommaso Magherini' in GoogleThis author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Chris D. Nugent' in GoogleThis author has not been identified. Look up 'Enrico Vicario' in Google

runs on WebDSL