Fetching the paper…

Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints · Around