bittdy / blustl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from blustl/blustl
BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.
License: Other