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