{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:14:03Z","timestamp":1770336843143,"version":"3.49.0"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/tsmc.2013.2283661","type":"journal-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T22:40:40Z","timestamp":1386196840000},"page":"509-521","source":"Crossref","is-referenced-by-count":55,"title":["Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living"],"prefix":"10.1109","volume":"43","author":[{"given":"Tommaso","family":"Magherini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris D.","family":"Nugent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"225","article-title":"Imperfect information: Imprecision, and uncertainty","author":"smets","year":"1996","journal-title":"Uncertainty Manag Inf Syst"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11257-007-9032-y"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s12126-010-9089-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1504\/IJBET.2009.027796"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2004.834386"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-008-0181-1"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2006.242"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341725"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2008.2005594"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1047671.1047703"},{"key":"ref12","article-title":"Dante: A video based annotation tool for smart environments","author":"cruciani","year":"2010","journal-title":"presented at the Int Conf Software Testing Conf Sensor Systems and Software"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2002.1160085"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"},{"key":"ref15","first-page":"41","article-title":"Annotating sensor data to detect activities of daily living","author":"donnelly","year":"2011","journal-title":"Proc 9th Int Conf Smart Homes Health Telematics"},{"key":"ref16","first-page":"838","article-title":"Activity recognition and abnormality detection with the switching hidden semimarkov model","volume":"1","author":"duong","year":"2005","journal-title":"Proc IEEE Comp Soc Conf Comput Vis Pattern Recog"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2008.05.002"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ITAB.2010.5687608"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_75"},{"key":"ref27","author":"kulkarni","year":"1995","journal-title":"Modeling and Analysis of Stochastic Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031988"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SESS.1997.595963"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3233\/AIS-2010-0071"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645826258"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69916-3_10"},{"key":"ref7","first-page":"1293","article-title":"A decision-theoretic approach to task assistance for persons with dementia","author":"boger","year":"2005","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922653"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_18"},{"key":"ref1","first-page":"1","author":"abid","year":"2012","journal-title":"Formal Methods for Industrial Critical Systems"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2116004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/34.868686"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.01.004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_10"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1409635.1409637"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/geront\/10.1_Part_1.20"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329409"},{"key":"ref23","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037720"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81050-8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159584"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1364742.1364746"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/6670820\/06670821.pdf?arnumber=6670821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T17:56:36Z","timestamp":1640282196000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6670821\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":46,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2013.2283661","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"value":"2168-2291","type":"print"},{"value":"2168-2305","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}