GitHub repository: BluSTL/BluSTL
Primary language: Matlab
Created: 2015-03-16T02:53:31Z
Description: BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.