@misc{indiciae6ad60847cfa3,
  title = {Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications},
  author = {Yoshinari Takayama and Kazumune Hashimoto and Toshiyuki Ohtsuka},
  year = {2023},
  doi = {10.1109/cdc49753.2023.10383605},
  url = {https://arxiv.org/abs/2304.01475},
  note = {Source identifier: 2304.01475}
}