Consciousness Videos Secure State Estimation using Satisfiability Modulo Convex Optimization (cruise control) April 2, 2019Resilient Cyber-Physical Systems Lab
