AROC
The Automated Reachset Optimal Control (AROC) toolbox automatically constructs formally verified controllers for solving reach-avoid problems using reachability analysis.
AutoKoopman
AutoKoopman is a high-level system identification tool for Koopman linearized models that automatically optimizes all hyper-parameters.