GitHub repository: vlasin/Toolbox
Primary language: MATLAB
Created: 2019-12-09T13:33:03Z
Description: Toolbox for Symbolic Control from Hybrid Automata Specifications