位置：成果数据库 > 期刊 > 期刊详情页
Model checking of linear-time properties based on possibility measure
  • ISSN号：1063-6706
  • 期刊名称：IEEE Transactions on Fuzzy Systems
  • 时间：2013.10.1
  • 页码：842-854
  • 相关项目：空间知识的定性表示与推理研究
作者： Li Yongming, Li Lijun|
同期刊论文项目
空间知识的定性表示与推理研究
期刊论文 27 会议论文 1
同项目期刊论文
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
<b>The Quintuple Implication Principle of fuzzy reasoning</b>
The universal fuzzy automaton
Computation tree logic model checking based on possibility measures
Qualitative constraint satisfaction problems: An extended framework with landmarks
<h3 style="margin-left:36.0pt;text-indent:-18.0pt;"> Realizing RCC8 networks using
<b>Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial
<strong>A complete classification of spatial relations using the Voronoi-based 9-intersection
<b><span style="color:#222222;">Cardinal directions: A comparison of direction
半环诱导赋值代数的轮廓解
加权自动机的极小确定化
取值于赋值幺半群的加权上下文无关文法及其语言
可逆加权树自动机
约束半环诱导的赋值代数的轮廓解及其算法
开放量子行走：概率分布与中心极限定理
Exogenous量子马尔可夫链及其可达性分析
量子最弱自由前置条件的交换性及其性质
基于软集的无标记信息代数模型与算法
Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy
Remark on the One-Way Quantum Deficit for General Two-Qubit States
直觉模糊测度的计算树逻辑
Reducible Discord in Generic Three-Qubit Pure W States
广义量子Loop程序的若干性质
可能性测度下计算树逻辑的若干性质
格值模糊自动机及对应语言的分级
量子马尔可夫链安全性模型检测