基于可能性测度的计算树逻辑

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于可能性测度的计算树逻辑

薛艳1，雷红轩2，李永明1

Computation Tree Logic Based on Possibility Measure

XUE Yan1，LEI Hongxuan2，LI Yongming1

计算机工程与科学 . 2011, (9): 70 -75 .