TY - RPRT TI - Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates AU - Velimir Todorovski AU - Kwang Hak Kim AU - Miroslav Krstic PY - 2025 UR - https://arxiv.org/abs/2509.25575 ID - 2509.25575 ER -