News

April 2022: invited seminar in the Department of Automatic Control at Lund University, Sweden (link)

March 2022: invited talk at “Inter-Agency GNC V&V Seminar Series” hosted by European Space Agency (link)

February 2022: invited talk at 2022 CSL student conference, University of Illinois at  Urbana-Champaign

January 2022: we organized the 2022 TRIPODS Winter School & Workshop on Interplay between Artificial Intelligence and Dynamical Systems (link,Youtube channel)

December 2021: we organized a tutorial session on “Safety Verification And Stability Analysis Of Neural Network-Driven Systems” at 2021 CDC Conference (link, video)

November 2021: invited talk in the Department of Electrical and Computer Engineering, University of Delaware