A Dynamic Programming Algorithm for Leveraging Probabilistic Detection of Energy Theft in Smart Home | Synapse