Learning-Enabled Components (LECs) such as deep neural networks are used increasingly in Cyber-Physical Systems (CPSs) since they can handle the uncertainty and variability of the environment and increase the level of ...