Chao Tang, Penghong Lu, Zhenpeng Lao, Gang Chen 0024. High-Order CBF-Compatible Semantics and Hierarchical Synthesis for Bounded-Time STL. IEEE Control Systems Letters, 10:547-552, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.