BriefGPT.xyz
Ask
alpha
关键词
first-order formulas
搜索结果 - 1
LTLf 模块化理论的决定性片段(扩展版)
本文研究了线性时间逻辑模块理论在有限轨迹上的应用,其中命题使用一阶公式替代,并且可以比较不同时间点引用的一阶变量。我们提出了一种用于 LTLfMT 表格的完备且有效的修剪规则,该规则在满足有限内存的抽象语义条件的任何 LTLfMT 公式下,
→
PDF
a year ago
Prev
Next