该研究提出了工具SemML，利用机器学习增强基于线性时序逻辑（LTL）的反应系统合成。SemML通过语义标记和机器学习策略，提高了合成效率，实验证明其在解决实例和速度上优于现有方法。