AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

The common fragment of CTL and LTL

FOCS, pp.643-652, (2000)

被引用93|浏览4
EI WOS
下载 PDF 全文
引用

摘要

It is well-known that CTL (computation tree logic) and LTL (linear time logic) have incomparable expressive power. In this paper, we give an inductive definition of those ACTL (Action-based CTL) formulas that can be expressed in LTL. In addition, we obtain a procedure to decide whether an ACTL formula lies in LTL, and show that this probl...更多

代码

数据

作者
M. Maidi
M. Maidi
您的评分 :
0

 

标签
评论
小科