yinanl

Waterloo, Canada

Pinned Repositories

emacs-config
emacs configuration files
Language:Emacs Lisp0 1 00
rocs
RObustly Complete control Synthesis (ROCS) for temporal logic control problems.
Language:C++0 1 00
rocs-doc
A sphinx documentation for rocs
Language:Python00

yinanl's Repositories

yinanl/emacs-config
emacs configuration files
Language:Emacs Lisp0 1 00
yinanl/rocs
RObustly Complete control Synthesis (ROCS) for temporal logic control problems.
Language:C++0 1 00
yinanl/rocs-doc
A sphinx documentation for rocs
Language:Python00