A QUEST FOR FORMAL CORRECTNESS IN CONTROL: FROM FORMAL METHODS TO VERIFIABLE NEURAL LYAPUNOV CERTIFICATES
A QUEST FOR FORMAL CORRECTNESS IN CONTROL: FROM FORMAL METHODS TO VERIFIABLE NEURAL LYAPUNOV CERTIFICATES
The Montreal Chapters of the IEEE Control Systems (CS) and Systems, Man & Cybernetics (SMC) cordially invite you to attend the following in-person talk, to be given by Dr. Jun Liu, Associate Professor in Applied Mathematics at the University of Waterloo. Co-sponsored by: Concordia University Speaker(s): Dr. Jun Liu, Room: EV002.184, Bldg: EV Building, Concordia... Read more