I. Introduction
Machine learning models such as Deep Neural Networks (DNN) have achieved remarkable human-like performance in accomplishing challenging tasks such as image classification, natural language processing in chatbots, playing Atari games, and performing model predictive control. There has been great interest in utilizing the capabilities of these models in cyberphysical systems (CPS) [1, 2, 3, 4]. Uncertainty in the predictions of these black-box models [5, 6, 7], however, hinders their deployment in safety-critical CPS such as autonomous driving, and, healthcare.