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

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 consideration their preferences and context are key. In this work, we introduce a framework for representing and reasonin...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2025-11
Main Authors: Contreras, Ricardo, Smola, Filip, Farič, Nuša, Zheng, Jiawei, Hillston, Jane, Fleuriot, Jacques D
Format: Article
Language:English
Subjects:
Activities of daily living
Customization
Older people
Temporal logic
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!