TY  - RPRT
TI  - Counterexample Classification for Signal Temporal Logic Specifications
AU  - Zhenya Zhang
AU  - Parv Kapoor
AU  - Jie An
AU  - Eunsuk Kang
PY  - 2026
UR  - https://arxiv.org/abs/2601.13743
ID  - 2601.13743
ER  -