Harmonic Control Lyapunov Barrier Functions provide stability and safety guarantees for reach-avoid problems in control systems.
