Wuniu Liu

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Decision Process

Formal Specification

Computation Tree Logic

Top Venues

IEEE Trans. Emerg. Top. Comput. Intell.

Int. J. Approx. Reason.

IEEE Trans. Fuzzy Syst.

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Wuniu Liu, Qing He, Zhihui Li, Yongming Li
Self-Learning Modeling in Possibilistic Model Checking. IEEE Trans. Emerg. Top. Comput. Intell. 8 (1) (2024)
Qing He, Wuniu Liu, Yong-Ming Li
Generalized possibility computation tree logic with frequency and its model checking. Int. J. Approx. Reason. 173 (2024)
Wuniu Liu, Zhihui Li, Yongming Li
Complex objective optimization in fuzzy environments. J. Intell. Fuzzy Syst. 45 (2) (2023)
Yongming Li, Wuniu Liu, Junmei Wang, Xianfeng Yu, Chao Li
Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes. IEEE Trans. Fuzzy Syst. 31 (10) (2023)
Wuniu Liu, Yongming Li
Optimal Strategy Model Checking in Possibilistic Decision Processes. IEEE Trans. Syst. Man Cybern. Syst. 53 (10) (2023)
Wuniu Liu, Qing He, Yongming Li
Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler. NCTCS (2021)