@misc{indiciaeec4cb4259c08,
  title = {Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints},
  author = {Hongkai Dai and Frank Permenter},
  year = {2022},
  url = {https://arxiv.org/abs/2210.00629},
  note = {Source identifier: 2210.00629}
}