【论文精读】时序逻辑推理之基于梯度的参数优化 TeLEx: Passive STL Learning Using Only Positive Examples
并且最终也没有得出最佳参数.这篇文章提出用优化算法来直接计算出,因此特地读来看看.主要参考文献:Jha,S.,Tiwari,A.,Seshia,S.A.,Sahai,T.,&Shankar,N.(2017).TeLEx:PassiveSTLLearningUsingOnlyPositiveExamples.InRuntimeVerific