TY  - RPRT
TI  - Automated LTL Specification Generation from Industrial Aerospace Requirements
AU  - Zhi Ma
AU  - Xiao Liang
AU  - Cheng Wen
AU  - Rui Chen
AU  - Bin Gu
AU  - Shengchao Qin
AU  - Cong Tian
AU  - Mengfei Yang
PY  - 2026
UR  - https://arxiv.org/abs/2604.21715
ID  - 2604.21715
ER  -