基于有限迁移系统的线性时态逻辑的计量化方法

著录项

• 来源
  《中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议》|2012年|30-351|共7页
• 会议地点 福州
• 作者

  时慧娴; 王国俊;

  展开▼
• 作者单位

  中国系统工程学会;

  展开▼
• 会议组织
• 正文语种
• 原文格式 PDF
• 中图分类 数理逻辑（符号逻辑）;
• 关键词

  线性时态逻辑; 有限迁移系统; 离散时间; 马尔可夫链; 度量空间; 模型检验;