A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes

Ricardo Contreras, Filip Smola, Nuša Farič +3

There is an imperative need to provide quality of life to a growing population of older adults living independently. Personalised solutions that focus on the person and take into c…