TY  - RPRT
TI  - STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
AU  - Yoshinari Takayama
AU  - Kazumune Hashimoto
AU  - Toshiyuki Ohtsuka
PY  - 2025
DO  - 10.1109/tac.2025.3555949
UR  - https://arxiv.org/abs/2305.09441
ID  - 2305.09441
ER  -