@article{14,
  author = {J. Liu},
  title = {Converse Barrier Functions via Lyapunov Functions},
  year = {2021},
  journal = {IEEE Transactions on Automatic Control},
  doi = {https://doi.org/10.1109/TAC.2021.3085419},
}