@misc{indiciaed563701d954f,
  title = {Algorithmic construction of Lyapunov functions for continuous vector fields via convex semi-infinite programs},
  author = {Raavi Gupta and Sameep Chattopadhyay and Pradyumna Paruchuri and Debasish Chatterjee},
  year = {2023},
  url = {https://arxiv.org/abs/2307.12661},
  note = {Source identifier: 2307.12661}
}