nesl/Imhotep-smt

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

语言：Matlab · GitHub 星标：8 · Fork：2

在 GitHub 上查看原仓库