Q

QUEST

Project information

QUEST is a tool for automated controller synthesis for incrementally input-to-state stable nonlinear control systems with respect to safety and reachability specifications. The tool is implemented in C++.

16 Commits
1 Branch
0 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

March 09, 2017

Loading

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum