| ［1］ |
Baier C,Katoen J P.Principles of model checking［M］.Cambridge:MIT Press,2008.
|
| ［2］ |
Edmund M, Grumberg O, Peled D. Model checking［M］.Cambridge:MIT Press,1999.
|
| ［3］ |
马占有,李永明.基于决策过程的广义可能性计算树逻辑模型检测［J］.中国科学:信息科学,2016,46(11):1591-1607.
|
|
Ma Zhan-you,Li Yong-ming.Model checking generalized possibilistic computation tree logic based on decision processes ［J］.SCIENTIA SINICA Informationis,2016,46(11):1591-1607.
|
| ［4］ |
杨维禹,刘文奇.基于量子逻辑的模糊线性时序逻辑的模型检测［J］.模糊系统与数学,2021,35(1):9-21.
|
|
Yang Wei-yu,Liu Wen-qi.Model checking of fuzzy linear sequential logic based on quantum logic ［J］.Fuzzy Systems and Mathematics,2021,35(1):9-21.
|
| ［5］ |
李永明.可能LTL模型检测的两种方法［J］.陕西师范大学学报(自然科学版),2014,42(6):21-25.
|
|
Li Yong-ming.Two methods of possible LTL model checking ［J］.Journal of Shaanxi Normal University (Natural Science Edition),2014,42(6):21-25.
|
| ［6］ |
袁冠杰.公平约束条件下的CTL模型检测及其扩展应用研究［D］.贵阳:贵州大学,2017.
|
|
Yuan Guan-jie.Research on CTL model checking under fair-ness constraints and its extended application ［D］.Guiyang:Guizhou University,2017.
|
| ［7］ |
Hart S,Sharir M.Probabilistic propositional temporal logics［J］.Information and Control,1986,70(2-3):97-155.
|
| ［8］ |
Chechik M,Devereux B,Easterbrook S,et al.Multi-valued symbolic model-checking［J］.ACM Transactions on Software Engineering Methodology,2003,12(4):371-408.
|
| ［9］ |
Chechik M,Gurfinkel A,Devereux B,et al.Data structures for symbolic multi-valued model-checking［J］.Formal Methods in System Design,2006,29(3):295-344.
|
| ［10］ |
李召恺,马占有,李健祥,等.基于模糊决策过程的模糊计算树逻辑模型检测［J］.计算机工程与科学,2022,44(2):266-275.
|
|
Li Zhao-kai,Ma Zhan-you,Li Jian-xiang,et al.Model checking of fuzzy computation tree logic based on fuzzy decision process［J］.Computer Engineering & Science,2022,44(2):266-275.
|
| ［11］ |
Li Y M,Li L J. Model checking of linear-time propertiesbased on possibility measure ［J］.IEEE Transactions on Fuzzy Systems,2013,21(5):842-854.
|
| ［12］ |
Li Y M, Li Y L,Ma Z Y.Computation tree logic model che-cking based on possibility measures［J］.Fuzzy Sets and Systems,2015,262(C):44-59.
|
| ［13］ |
Li Y M,Lei L H,Li S J.Computation tree logic model checking based on multi-valued possibility measures［J］.Information Sciences,2019,485:87-113.
|
| ［14］ |
Li Y M,Wei J L.Possibilistic fuzzy linear temporal logic and its model checking ［J］.IEEE Transactions on Fuzzy Systems,2021,29(7):1899-1913.
|
| ［15］ |
范艳焕,李永明.模糊线性时序逻辑的可实现性［J］.电子学报,2018,46(2):341-346.
|
|
Fan Yan-huan,Li Yong-ming. The realizability of fuzzy linear temporal logic ［J］.Electronics,2018,46(2):341-346.
|
| ［16］ |
范艳焕,李永明,潘海玉.不确定型模糊Kripke结构的计算树逻辑模型检测［J］.电子学报,2018,46(1):152-159.
|
|
Fan Yan-huan,LI Yong-ming,Pan Hai-yu.Computational tree logic model detection of uncertain fuzzy Kripke structures ［J］.Acta Electronica Sinica,2018,46(1):152-159.
|
| ［17］ |
潘海玉,张敏,陈仪香.基于模糊逻辑的几类Kripke结构之间的关系［J］.计算机科学,2013,40(5):42-44.
|
|
Pan Hai-yu,Zhang Min,Chen Yi-xiang.Relationships among several types of Kripke structures based on fuzzy logic ［J］.Computer Science,2013,40(5):42-44.
|
| ［18］ |
Pan H Y,Li Y M,Cao Y Z,et al.Model checking fuzzy computation tree logic ［J］.Fuzzy Sets and Systems,2015,262(C):60-77.
|
| ［19］ |
马占有.基于决策过程的广义可能性时态逻辑模型检测［D］.西安:陕西师范大学,2017.
|
|
Ma Zhan-zhou.Generalized possibility temporal logic model detection based on decision process ［D］.Xi’an:Shaanxi Normal University,2017.
|
| ［20］ |
Zadeh L A.Fuzzy sets［J］.Information & Control,1965,8 (3):338-353.
|
| ［21］ |
李永明.模糊系统分析［M］.北京:科学出版社,2005.
|
|
Li Yong-ming.Fuzzy system analysis［M］. Beijing:Science Press,2005.
|
| ［22］ |
张所娟,黄松,余晓晗,等.基于模糊测度的知识关联性建模方法［J］.模式识别与人工智能,2022,35(2):95-105.
|
|
Zhang Suo-juan,Huang Song,Yu Xiao-han,et al.Knowledge association modeling method based on fuzzy measure ［J］.Pattern Recognition and Artificial Intelligence,2022,35(2):95-105.
|
| ［23］ |
Garmendia L,González R,Ferrés J R.An algorithm to compute the transitive closure,a transitive approximation and a transitive opening of a proximity［J］.［EB/OL］.［2009-12-31］. https://upcommons.upc.edu/bitstream/handle/2117/6638/FLINS2008.pdf;sequence=1.
|
