@inproceedings{dc4dde6600934015bfe408c5edb19cd7,
title = "Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment",
abstract = "Early-stage dementia impacts aging adults' cognitive functioning including the initiative and performance of instrumental activities of daily living (IADLs) that require a series of actions to be completed (e.g., meal preparation, medication management). Thus, cognitive impairment predisposes adults to temporal organization of action sequence error in IADLs that may constitute life-Threatening injuries or accidents [11]-[13]. To mitigate this inherent risk in the performance of IADLs, a linear temporal logic (LTL)-based safety model is proposed for detection of risky behaviors inherent IADLs in smart home environments.",
keywords = "Aging, IADLs, Safety, Situation, Smart Home, Temporal Logic",
author = "Oyeleke, {Richard O.} and Chang, {Carl K.} and Jennifer Margrett",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 2020 IEEE World Congress on Services, SERVICES 2020 ; Conference date: 18-10-2020 Through 24-10-2020",
year = "2020",
month = oct,
doi = "10.1109/SERVICES48979.2020.00018",
language = "English",
series = "Proceedings - 2020 IEEE World Congress on Services, SERVICES 2020",
pages = "22--24",
booktitle = "Proceedings - 2020 IEEE World Congress on Services, SERVICES 2020",
}