Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.
Shiyu ZhangJuan ZhaiLei BuMingsong ChenLinzhang WangXuandong LiPublished in: DATE (2020)
Keyphrases
- smart home
- natural language
- bounded model checking
- activity recognition
- context aware
- assisted living
- text generation
- written in natural language
- intelligent environments
- ambient intelligence
- transition systems
- model checking
- smart home environment
- home automation
- management system
- intelligent systems
- human activities
- intelligent agents
- daily activities
- high level
- home environments
- natural language processing
- ubiquitous environments
- embedded systems
- formal verification
- ambient assisted living
- temporal logic
- home environment
- older adults
- real time
- machine learning
- linear temporal logic
- information extraction
- artificial neural networks
- computer vision
- artificial intelligence
- neural network