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