SCOTS is a C++ tool (with a small Matlab interface) to synthesize controllers for possibly perturbed nonlinear control systems with respect to safety and reachability specifications.

Name
Last commit
Last update
bdd Loading commit data...
cudd-3.0.0 Loading commit data...
doc Loading commit data...
examples Loading commit data...
manual Loading commit data...
mfiles Loading commit data...
utils Loading commit data...
.DS_Store Loading commit data...
installation_notes_windows.txt Loading commit data...
license.txt Loading commit data...
readme.md Loading commit data...