Paper: our paper on anomaly state detection for autonomous systems is accepted by DAC 2020.