TY  - RPRT
TI  - STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
AU  - Parv Kapoor
AU  - Kazuki Mizuta
AU  - Eunsuk Kang
AU  - Karen Leung
PY  - 2025
DO  - 10.1109/lra.2025.3588389
UR  - https://arxiv.org/abs/2501.04194
ID  - 2501.04194
ER  -