Smart Help: Strategic Opponent Modeling for Proactive and Adaptive Robot Assistance in Households | Synapse