Manu Upadhyaya
Toggle navigation
About
Publications
Software
Teaching
Blog
(current)
CV
Blog
Computer-aided Lyapunov analyses in optimization
October 23, 2026