APA (7th ed.) Citation

Takayama, Y., Hashimoto, K., & Ohtsuka, T. (2023). STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications.

Chicago Style (17th ed.) Citation

Takayama, Yoshinari, Kazumune Hashimoto, and Toshiyuki Ohtsuka. STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications. 2023.

MLA (9th ed.) Citation

Takayama, Yoshinari, et al. STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications. 2023.