Software
Below you can find the diverse software generated in my lab.
All software is provided as-is, free to use, and with no warranties. If you find any bug or problem with any of our software packages, please report those on the related github project, or via email to me.
SARXSAT
Hybrid System's Identification Toolbox based on L_0 minimization and SAT-solving
SR2JLIB
Symbolic Regression library for fitting data with vector functions via GGGP