★ 3
TSG：用时序逻辑规范引导文本生成视频
arXiv 论文提出 Temporal Specification Guidance（TSG），一种免训练的推理期框架，用时序逻辑规范约束文生视频中的顺序、时序与持续性要求。TSG 通过可微定量语义对视觉概念证据打分，并利用梯度构造规范引导的去噪方向，增强无分类器引导（CFG）。在覆盖 11 类时…
arXiv cs.AI17 天前
#时序逻辑
共 4 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
ContrAgent：用契约对 LLM 智能体做符号时序监督
论文针对 LLM 智能体工具调用中的幻觉、分布不稳与对抗操纵风险，指出现有防护要么事后用随机 LLM 评判轨迹，要么逐次拦截动作，缺乏统一确定性产物。作者提出 ContrAgent，用 LTLf 假设-保证契约将行为编译为确定性有限自动机，同时支持在线门控与离线评估。在四个基准上匹配最先进基线，且…
arXiv cs.AI46 天前
★ 2
SpecMAGIC：规范引导的多智能体强化学习多任务泛化
论文提出 SpecMAGIC 分层框架，用结合时序逻辑的任务规范语言描述多智能体协作需求，并借助自动机结构做子任务分解。集中式高层规划器分配子任务序列，去中心化低层策略执行，从而按新规范组合可复用策略实现零样本泛化。作者证明了高层规划器的可靠性与概率完备性，多智能体导航实验显著优于现有方法。
arXiv cs.AI10 天前
★ 2
带时序逻辑规约的高效贝叶斯自适应强化学习
论文提出一种端到端基于模型的强化学习算法，在未知环境中针对线性时序逻辑（LTL）规约（如安全、可达性）高效合成策略。方法将 LTL 任务的极限确定性 Büchi 自动机与贝叶斯自适应马尔可夫决策过程同步，并提出贝叶斯自适应蒙特卡洛规划（BAMCP）实现近似贝叶斯最优策略合成。实验显示在属性满足与样…
arXiv cs.LG42 天前
这个主题的相关资产
相关术语LTLf（有限轨迹线性时序逻辑）