A QUEST FOR FORMAL CORRECTNESS IN CONTROL: FROM FORMAL METHODS TO VERIFIABLE NEURAL LYAPUNOV CERTIFICATES
Room: EV002.184, Bldg: EV Building, Concordia University , Montreal, Quebec, Canada, H3G 1M8The 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... Read more