TY  - RPRT
TI  - Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
AU  - Yoshinari Takayama
AU  - Kazumune Hashimoto
AU  - Toshiyuki Ohtsuka
PY  - 2023
DO  - 10.1109/cdc49753.2023.10383605
UR  - https://arxiv.org/abs/2304.01475
ID  - 2304.01475
ER  -