Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at and make sure that your projects conform to the requirements.



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.