September 1, 2021Analytically-based Frameworks for AI Model Verification and Improvement in Cyber-Physical Systems