%0 Journal Article %1 journals/thms/MagheriniFNV13 %A Magherini, Tommaso %A Fantechi, Alessandro %A Nugent, Chris D. %A Vicario, Enrico %D 2013 %J IEEE Trans. Hum. Mach. Syst. %K dblp %N 6 %P 509-521 %T Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. %U http://dblp.uni-trier.de/db/journals/thms/thms43.html#MagheriniFNV13 %V 43

@article{journals/thms/MagheriniFNV13, added-at = {2020-05-18T00:00:00.000+0200}, author = {Magherini, Tommaso and Fantechi, Alessandro and Nugent, Chris D. and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/28b5d09d6bdc4bf17a532fbf0d41376e0/dblp}, ee = {https://doi.org/10.1109/TSMC.2013.2283661}, interhash = {a6381f1c3975dc8fd46e8a87cce17edd}, intrahash = {8b5d09d6bdc4bf17a532fbf0d41376e0}, journal = {IEEE Trans. Hum. Mach. Syst.}, keywords = {dblp}, number = 6, pages = {509-521}, timestamp = {2020-05-19T11:38:43.000+0200}, title = {Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.}, url = {http://dblp.uni-trier.de/db/journals/thms/thms43.html#MagheriniFNV13}, volume = 43, year = 2013 }