Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables Submitted by Jason Rife on Thu, 05/14/2020 - 13:32 1836942 CPS PI Meeting 2019