GitHub repository: HySynth/HySynth
Primary language: Python
Description: Synthesis of hybrid automata from data