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
Citace podle Chicago (17th ed.)Kapoor, Parv, Kazuki Mizuta, Eunsuk Kang, a 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.
Citace podle MLA (9th ed.)Kapoor, 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.