Towards Programming and Verification for Activity-Oriented Smart Home Systems.

Xuansong Li Wei Song Xiangyu Zhang

Published in: ASE (2020)

Keyphrases

smart home
ambient assisted living
management system
human activities
intelligent systems
home environments
activity recognition
daily activities
multi agent
computer systems
plan recognition
assisted living
activities of daily living
intelligent environments
computing systems
text mining
expert systems
cooperative