概率实时时态认知逻辑模型检测中抽象技术的研究

您当前的位置：

首页 >

文章列表页 >

概率实时时态认知逻辑模型检测中抽象技术的研究

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 概率实时时态认知逻辑模型检测中抽象技术的研究
- Abstraction in Model Checking Probabilistic Real-Time Temporal Logic of Knowledge
- 刘志锋，孙博，周从华
- 电子学报 2013年41卷第7期页码：1343-1351
- 作者机构：
  江苏大学计算机科学与通信工程学院,江苏,镇江,212013
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61003288,No.6111130184);江苏省自然科学基金 (No.BK2010192);教育部博士点基金 (No.20093227110005);江苏大学高级人才科研启动基金 (No.12JDG061)
- DOI： 10.3969/j.issn.0372-2112.2013.07.016
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

47

浏览量

1309

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

时间感知Web服务交互行为建模与失配检测方法研究

实时模型检测中基于驻留环的精确加速

基于XYZ/ADL的Web服务组合描述与验证

强化学习中的迁移:方法和进展

缓冲区溢出漏洞精确检测方法研究

相关作者

Sheng

王

戎玫

张广泉

王从银

庄雷

尹传龙

朱雪阳

相关机构

暨南大学深圳旅游学院广东深圳

中国科学院计算机科学国家重点实验室北京

苏州大学计算机科学与技术学院江苏苏州

暨南大学深圳旅游学院

中国科学院计算机科学国家重点实验室