BriefGPT.xyz
Ask
alpha
关键词
temporal logics
搜索结果 - 5
使用明确的数据和控制分离引导 LLM 时态逻辑生成
通过给大型语言模型提供关于控制和数据分离的指导,我们探讨了在反应式程序合成中为 LLM 提供指导对于规范生成的影响,发现这种关注点的分离改进了规范生成,并提供了一个基准测试集用于验证未来的 LLM 生成时态逻辑规范的工作。
PDF
a month ago
深度策略优化与时序逻辑约束
我们的研究通过将任务规范为线性时间逻辑(LTL)目标并优化额外的标量奖励,提出了一种增强学习代理的任务说明方法。我们的方法将问题转化为单一优化目标,并通过引入 Cycle Experience Replay(CyclER)解决了 LTL 引
→
PDF
3 months ago
nl2spec:使用大型语言模型将非结构化自然语言交互地翻译为时间逻辑
通过使用大型语言模型从自然语言中推导出严格的正式说明的方法,解决了手动编写正式规范的困难,从而提出了一个框架 nl2spec。
PDF
a year ago
AAAI
关于带不确定性有限轨迹的时间逻辑(技术报告)
提出了一种新的基于超定理解的概率时态逻辑,用于处理现实动态系统中的不确定性,探讨了逻辑的特性并提供了基于自动机的推断机制。同时,研究了具有更好计算性质的逻辑片段,可以通过现有的声明性流程发现技术从事件日志数据中发现公式。
PDF
5 years ago
实时和概率时态逻辑:一概述
该论文分析了用于真实时间系统的逻辑规范和验证的逻辑符号,分别比较了它们的决策性,公理化程度,表达能力和模型检查等特征。
PDF
14 years ago
Prev
Next