Computation tree logic model checking based on possibility measures

Yongming Li, Yali Li, Zhanyou Ma. Computation tree logic model checking based on possibility measures. Fuzzy Sets and Systems, 262:44-59, 2015. [doi]

Abstract

Abstract is missing.