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... Read more