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]
@article{TangLLC26,
title = {High-Order CBF-Compatible Semantics and Hierarchical Synthesis for Bounded-Time STL},
author = {Chao Tang and Penghong Lu and Zhenpeng Lao and Gang Chen 0024},
year = {2026},
doi = {10.1109/LCSYS.2026.3700689},
url = {https://doi.org/10.1109/LCSYS.2026.3700689},
researchr = {https://researchr.org/publication/TangLLC26},
cites = {0},
citedby = {0},
journal = {IEEE Control Systems Letters},
volume = {10},
pages = {547-552},
}