Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints
Research article (2023 American Control Conference (ACC), 2023) · cited 27× · AI/ML