A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks. - View it on GitHub