Papers10:02
Chinese content从不确定性演示中学习线性时序规范(LTL)这篇论文解决了现实场景中演示数据不确定的问题，用汉明距离和伪布尔优化改进LTL学习，结果更靠谱，适合做形式化验证的朋友看看。
#时序规范
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "时序规范", newest first.
Jul 14
这篇论文解决了现实场景中演示数据不确定的问题，用汉明距离和伪布尔优化改进LTL学习，结果更靠谱，适合做形式化验证的朋友看看。