TrainCheck uses training invariants to find the root cause of hard-to-detect errors before they cause downstream problems, ...

Safety and data efficiency are important concerns in data-driven control, especially for nonlinear systems with unknown dynamics and subject to disturbances. In this work, we consider a class of ...