#LTL

共 3 条 · 7 天 0 条 · 30 天 0 条

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

8月4日

论文精选12:15

这篇论文说清了同一安全监控器在GPT/DeepSeek上能拦七成攻击、在Gemini上几乎失灵的原因，还给了部署前预测覆盖率的测试。

arXiv: DeepSeek@Ruiyang Zhang原文

这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。

arXiv cs.AI@Christoph Weinhuber 等 4 人原文

7月14日

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

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