TITLE     : Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living
AUTHOR(S) : Magherini T, Fantechi A, Nugent C, Vicario E
TYPE      : Journal article
YEAR      : 2013
CODE      : 302128

*** DO NOT EDIT THIS FILE ***