#LTL
4 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "LTL", newest first.
Sep 30
Aug 4
Chinese content形式监控为何失效：攻击分布熵界定LTL智能体安全监控覆盖率
这篇论文说清了同一安全监控器在GPT/DeepSeek上能拦七成攻击、在Gemini上几乎失灵的原因，还给了部署前预测覆盖率的测试。
Papers11:18
Chinese content将LTL翻译为LTLf+：用有限迹技术实现无限迹目标这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。
Jul 14
Papers10:02
Chinese content从不确定性演示中学习线性时序规范(LTL)这篇论文解决了现实场景中演示数据不确定的问题，用汉明距离和伪布尔优化改进LTL学习，结果更靠谱，适合做形式化验证的朋友看看。