A Dynamic Programming Algorithm for Leveraging Probabilistic Detection of Energy Theft in Smart Home | IEEE Journals & Magazine | IEEE Xplore