TY - RPRT TI - Converse Barrier Functions via Lyapunov Functions AU - Jun Liu PY - 2020 DO - 10.1109/tac.2021.3085419 UR - https://arxiv.org/abs/2007.11086 ID - 2007.11086 ER -