TY - RPRT TI - Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing AU - Boris Houska AU - Matthias A. Müller AU - Mario E. Villanueva PY - 2025 UR - https://arxiv.org/abs/2503.16076 ID - 2503.16076 ER -