Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robotScott Kuindersma, Russ Tedrake, Twan Koolen et al.|Autonomous Robots|2015Cited by 830
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraintsHongkai Dai, Frank Permenter|Unknown|2023Cited by 27
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraintsHongkai Dai, Frank Permenter|arXiv (Cornell University)|2022Cited by 1