Trust Your Memory: Verifiable Control of Smart Homes through Reinforcement Learning with Multi-dimensional Rewards. - Kai-Yuan Guo; Jiang Wang; Renjie Zhao; Tianyi Wang; Wandong Mao; Yu Gao; Mou Xiao Feng; Yi Xu (CoRR, 2026)