论文标题
到“频率线性时间逻辑”的勘误
Erratum to "Frequency Linear-time Temporal Logic"
论文作者
论文摘要
我们纠正了一个定理的证据，表明频率线性时间逻辑的满意度是不可确定的[Tase 2012]。
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
