July 15, 2024
Image
We’re so proud to have our work on data-driven invariant set detection selected for a full presentation at L4DC 2024. Amy Strong gave a fantastic talk!
Publication
Data driven verification of positive invariant sets for discrete, nonlinear systems (2024)