Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler. - Wuniu Liu; Qing He 008; Yongming Li 001 (NCTCS, 2021)

Complex objective optimization in fuzzy environments. - Wuniu Liu; Zhihui Li 006; Yongming Li 001 (J. Intell. Fuzzy Syst., 2023)

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)

Optimal Strategy Model Checking in Possibilistic Decision Processes. - Wuniu Liu; Yongming Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Generalized possibility computation tree logic with frequency and its model checking. - Qing He 008; Wuniu Liu; Yong-Ming Li 001 (Int. J. Approx. Reason., 2024)

Self-Learning Modeling in Possibilistic Model Checking. - Wuniu Liu; Qing He 008; Zhihui Li 006; Yongming Li 001 (IEEE Trans. Emerg. Top. Comput. Intell., 2024)

Accelerating Possibilistic Model Checking: Sparse Engine for Large-Scale Models. - Wuniu Liu; Zhihui Li; Yongming Li 001 (ICIC (19), 2025)