10:02
官方账号arXiv cs.AI@Parastou Fahim, Constantino Lagoa, Rômulo Meira-G'oes
推荐理由：这篇论文解决了现实场景中演示数据不确定的问题，用汉明距离和伪布尔优化改进LTL学习，结果更靠谱，适合做形式化验证的朋友看看。
LTL
共 1 条相关 AI 资讯
7月14日
10:02
现有LTL学习方案通常假设演示正确，但实际中传感器故障或数据丢失会导致轨迹不确定。本文提出用汉明距离建模不确定性，为每条观测轨迹生成多个可能估计，并通过约束确保每组至少一条与学习公式一致。问题归约为伪布尔优化，在评估中恢复的规范比现有LTL学习方法更接近真实公式。