TY  - RPRT
TI  - Knox: Fortifying Smart Spaces With Safety Guarantees
AU  - Rishabh Menezes
AU  - Jadon T. Schuler
AU  - Kaimeng Zhu
AU  - Oliver Rogalski
AU  - Indranil Gupta
PY  - 2026
UR  - https://arxiv.org/abs/2607.29198
ID  - 2607.29198
ER  -