collaborators

1 paper

math.OC2026

A Converse Control Lyapunov Theorem for Joint Safety and Stability

Thanin Quartz, Maxwell Fitzsimmons, Jun Liu

We show that the existence of a strictly compatible pair of control Lyapunov and control barrier functions is equivalent to the existence of a single smooth Lyapunov function that…