Kapoor, P., Mizuta, K., Kang, E., & Leung, K. (2025). STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. IEEE robotics and automation letters, 10(9), 9240-9247. https://doi.org/10.1109/LRA.2025.3588389
Chicago Style (17th ed.) CitationKapoor, Parv, Kazuki Mizuta, Eunsuk Kang, and Karen Leung. "STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification." IEEE Robotics and Automation Letters 10, no. 9 (2025): 9240-9247. https://doi.org/10.1109/LRA.2025.3588389.
MLA (9th ed.) CitationKapoor, Parv, et al. "STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification." IEEE Robotics and Automation Letters, vol. 10, no. 9, 2025, pp. 9240-9247, https://doi.org/10.1109/LRA.2025.3588389.