TY  - RPRT
TI  - Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls
AU  - Ruikun Zhou
AU  - Yating Yuan
AU  - Haocheng Chang
AU  - Yinan Li
AU  - Yiming Meng
PY  - 2026
UR  - https://arxiv.org/abs/2606.12768
ID  - 2606.12768
ER  -