Richard O. Oyeleke, Carl K. Chang, Jennifer Margrett. Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment. In 2020 IEEE World Congress on Services, SERVICES 2020, Beijing, China, October 18-23, 2020. pages 22-24, IEEE, 2020. [doi]
Abstract is missing.