Algorithmic construction of Lyapunov functions for continuous vector fields via convex semi-infinite programs. - Raavi Gupta; Sameep Chattopadhyay; Pradyumna Paruchuri; Debasish Chatterjee (CoRR, 2023)

An algorithmic recipe to construct Lyapunov functions for continuous vector fields. - Sameep Chattopadhyay; Raavi Gupta; Pradyumna Paruchuri; Debasish Chatterjee (ANZCC, 2024)