基于深度学习的自然语言需求到时序逻辑的生成方法

王喜龙，杨志斌，周勇

Generating Temporal Logic from Natural Language Requirement Based on Deep Learning

小型微型计算机系统 . 2025, (9): 2049 -2057 .