GitHub repository: thatgardnerone/TRUST
Primary language: Python
Description:  StabiliTy and Safety ContRoller Synthesis for Black-Box Systems Using a Single Trajectory