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.
Abstraction and synthesis tool for timing models of ETC systems
Tool to port timed automata constructed in Python to UPPAAL format
Porting Symbolic Controllers into FPGA implementations
Hybrid System's Identification Toolbox based on L_0 minimization and SAT-solving
Stigmergy-based swarming simulator
Symbolic fitting of SCOTSv2.0 BDD controllers
Symbolic Regression library for fitting data with vector functions via GGGP
SCOTSv2.0 BDD controllers determinizer
Transcoder of Symbolic Controllers into (Deep) Neural Networks v2.0
Transcoder of Symbolic Controllers into (Deep) Neural Networks
Symbolic Controller Synthesis Matlab Toolbox (Discontinued support)