典型文献
基于广义可能性决策过程的可达性问题的模型检测
文献摘要：
在广义可能性测度下,用广义可能性决策过程(GPDP)建模系统,基于策略的广义可能性线性时序性质的模型检测问题,包括可达性、总是可达性、重复可达性被讨论.本文所获得的结果扩大了经典模型检测的应用范围.
文献关键词：
广义可能性决策过程;模型检测;策略;可达性
中图分类号：
作者姓名：
王军梅;李永明
作者机构：
陕西师范大学 计算机科学学院,陕西西安 710062
文献出处：
引用格式：
[1]王军梅;李永明-.基于广义可能性决策过程的可达性问题的模型检测)[J].模糊系统与数学,2022(05):95-104
A类：
广义可能性决策过程,GPDP
B类：
可达性,模型检测,模系统,时序性,检测问题
AB值：
0.165356
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
