MODEL CHECKING FOR ACCURATE MOTION RECOGNITION IN AMBIENT ASSISTED LIVING SYSTEMS
Abstract. The recognition of Activities of Daily Living (ADLs) is a fundamental component of Ambient Assisted Living (AAL) systems, facilitating the continuous monitoring of elderly individuals to promote their well-being. The accurate identification of routine activities, such as walking, sitting, and sleeping, is essential for detecting deviations indicative of potential health risks, including falls. This […]