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

Tommaso Magherini, Alessandro Fantechi, CD Nugent, Enrico Vicario

Research output: Contribution to journalArticlepeer-review

37 Citations (Scopus)

Fingerprint Dive into the research topics of 'Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living'. Together they form a unique fingerprint.

Engineering & Materials Science

Social Sciences