Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment.

Richard O. Oyeleke, Carl K. Chang, Jennifer A. Margrett

Browse the full SERVICES paper archive.