qiangqibing

Singapore

Pinned Repositories

Imhotep-smt
A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks.
Language:MATLAB00
org-download
Drag and drop images to Emacs org-mode
Language:Emacs Lisp00
pipeline-latex
the docker image for bitbucket pipeline to compile latex files
Language:Dockerfile00
org-download
Drag and drop images to Emacs org-mode
Language:Emacs Lisp1.1k78

qiangqibing's Repositories

qiangqibing/pipeline-latex
the docker image for bitbucket pipeline to compile latex files
Language:Dockerfile
qiangqibing/Imhotep-smt
A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks.
Language:Matlab
qiangqibing/org-download
Drag and drop images to Emacs org-mode
Language:Emacs Lisp