#时序规范

共 1 条 · 7 天 0 条 · 30 天 0 条

LTL 1 不确定性 1 形式化验证 1 演示学习 1

信息流里打上「时序规范」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月14日

从不确定性演示中学习线性时序规范(LTL)

这篇论文解决了现实场景中演示数据不确定的问题，用汉明距离和伪布尔优化改进LTL学习，结果更靠谱，适合做形式化验证的朋友看看。

#LTL #时序规范 #不确定性 #演示学习

arXiv cs.AI@Parastou Fahim 等 3 人原文