Wuniu Liu

According to our database, Wuniu Liu authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Self-Learning Modeling in Possibilistic Model Checking.

Wuniu Liu, Qing He, Zhihui Li, Yongming Li

IEEE Trans. Emerg. Top. Comput. Intell., February, 2024

Generalized possibility computation tree logic with frequency and its model checking.

Qing He, Wuniu Liu, Yong-Ming Li

Int. J. Approx. Reason., 2024

2023

Optimal Strategy Model Checking in Possibilistic Decision Processes.

Wuniu Liu, Yongming Li

IEEE Trans. Syst. Man Cybern. Syst., October, 2023

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes.

Yongming Li, Wuniu Liu, Junmei Wang, Xianfeng Yu, Chao Li

IEEE Trans. Fuzzy Syst., October, 2023

Complex objective optimization in fuzzy environments.

Wuniu Liu, Zhihui Li, Yongming Li

J. Intell. Fuzzy Syst., 2023

2021

Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler.

Wuniu Liu, Qing He, Yongming Li

Proceedings of the Theoretical Computer Science, 2021