BriefGPT.xyz
Ask
alpha
关键词
semi-decision procedure
搜索结果 - 1
IJCAI
有限轨迹上的理论线性时序逻辑 (扩展版)
本文提出了一种基于 Satisfiability Modulo Theories 的 Linear Temporal Logic 语言 ——LTLf Modulo Theories,该语言具有高表现力,可用于数据感知过程和规划的模型检验。我
→
PDF
2 years ago
Prev
Next