咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 embedding theore...
  • 1 篇 relative decidab...
  • 1 篇 hierarchical com...
  • 1 篇 computation tree...
  • 1 篇 probabilistic co...

机构

  • 1 篇 teikyo univ fac ...

作者

  • 1 篇 kamide norihiro
  • 1 篇 yano yuki

语言

  • 1 篇 英文
检索条件"主题词=Hierarchical Computation Tree Logic"
1 条 记 录,以下是1-10 订阅
排序:
Towards hierarchical Probabilistic CTL Model Checking: Theoretical Foundations  11
Towards Hierarchical Probabilistic CTL Model Checking: Theor...
收藏 引用
11th International Conference on Agents and Artificial Intelligence (ICAART)
作者: Kamide, Norihiro Yano, Yuki Teikyo Univ Fac Sci & Engn Dept Informat & Elect Engn Toyosatodai 1-1 Utsunomiya Tochigi 3208551 Japan
This study proposes a hierarchical probabilistic computation tree logic, HpCTL, which is an extension of the standard probabilistic computation tree logic pCTL, as a theoretical basis for hierarchical probabilistic CT... 详细信息
来源: 评论