Slide 1 1 CPS Transform for Dependent ML Hongwei Xi University of Cincinnati and Carsten Schürmann Yale University Slide 2 2 Overview Motivation Program error detection…