TY - RPRT TI - Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation AU - Yiming Meng AU - Jun Liu PY - 2026 UR - https://arxiv.org/abs/2604.00941 ID - 2604.00941 ER -