Formal Definition

Formal definitions for TAP smart home integrations modeling and LTL

We provide complete formal definitions for:
1. Modeling TAP smart home integrations (Corresponding to Section 2.1 in the paper),
2. Linear Temporal Logic (LTL) specifications (Corresponding to Section 2.2).
For enhanced clarity, access the supplementary PDF document via the button below: