1
|
有界模型检测同步多智体系统的时态认知逻辑 |
骆翔宇
苏开乐
杨晋吉
|
《软件学报》
EI
CSCD
北大核心
|
2006 |
13
|
|
2
|
概率实时时态认知逻辑模型检测中抽象技术的研究 |
刘志锋
孙博
周从华
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2013 |
2
|
|
3
|
概率时态认知逻辑模型检测中三值抽象技术的研究 |
周从华
孙博
刘志锋
葛云
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
4
|
基于时态认知逻辑的Web服务模型检测 |
骆翔宇
陈艳
古天龙
董荣胜
|
《计算机科学》
CSCD
北大核心
|
2009 |
1
|
|
5
|
时态认知逻辑CTL*K的符号化模型检查算法 |
陈彬
王智学
|
《计算机科学》
CSCD
北大核心
|
2009 |
0 |
|
6
|
面向完美回忆的时态认知逻辑 |
张玉志
唐晓嘉
|
《软件学报》
EI
CSCD
北大核心
|
2020 |
1
|
|
7
|
智能主体的信念认知时态子结构逻辑模型 |
刘冬宁
汤庸
|
《计算机应用研究》
CSCD
北大核心
|
2010 |
2
|
|
8
|
多主体系统时态认知规范的“On the Fly”模型检测算法研究 |
吴立军
苏开乐
陈清亮
杨志华
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2006 |
2
|
|
9
|
多智能体系统时态认知规范高效符号模型检测的算法研究 |
吴立军
苏金树
苏开乐
|
《计算机学报》
EI
CSCD
北大核心
|
2008 |
2
|
|
10
|
一种求解认知难题的模型检测方法 |
骆翔宇
苏开乐
顾明
|
《计算机学报》
EI
CSCD
北大核心
|
2010 |
5
|
|
11
|
基于Verics的组合Web服务有界模型检测 |
骆翔宇
轩爱成
沙宗鲁
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
0 |
|
12
|
模型检测方法在入侵检测中的应用研究 |
林璇
|
《现代计算机》
|
2009 |
0 |
|