yinanl's repositories
emacs-config
emacs configuration files
Language:Emacs Lisp000
rocs
RObustly Complete control Synthesis (ROCS) for temporal logic control problems.
Language:C++BSD-3-Clause000
rocs-doc
A sphinx documentation for rocs
Language:Python000