TY  - RPRT
TI  - Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
AU  - Junle Li
AU  - Siqi Chen
AU  - Jiakai Li
AU  - Meiqi Tian
AU  - Bingzhuo Zhong
PY  - 2026
UR  - https://arxiv.org/abs/2503.15840
ID  - 2503.15840
ER  -