camlspotter / learnHA

Learns a hybrid automaton model from trajectories of Cyber-Physical Systems.
GNU General Public License v3.0
0 stars 0 forks source link