@article{stlccpanefficientconvexoptimizationbased,
  title = {STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications},
  author = {Yoshinari Takayama and Kazumune Hashimoto and Toshiyuki Ohtsuka},
  year = {2023},
  eprint = {2305.09441},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.09441v3},
}