Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes. - Yongming Li 001; Wuniu Liu; Junmei Wang; Xianfeng Yu; Chao Li (IEEE Trans. Fuzzy Syst., 2023)