A Temporal Logic for Modelling Activities of Daily Living.
Malte S. KließCatholijn M. JonkerM. Birna van RiemsdijkPublished in: TIME (2018)
Keyphrases
- temporal logic
- activities of daily living
- activity recognition
- model checking
- modal logic
- fall detection
- smart home
- linear temporal logic
- smart environments
- ambient assisted living
- assistive technology
- verification method
- older adults
- temporal knowledge
- transition systems
- mazurkiewicz traces
- ambient intelligence
- human activities
- computation tree logic
- formal specification
- multimedia
- service oriented
- belief revision
- statistically significant
- intelligent agents
- intelligent systems