@misc{indiciaea4d7a5ce7e20,
  title = {STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications},
  author = {Yoshinari Takayama and Kazumune Hashimoto and Toshiyuki Ohtsuka},
  year = {2025},
  doi = {10.1109/tac.2025.3555949},
  url = {https://arxiv.org/abs/2305.09441},
  note = {Source identifier: 2305.09441}
}