Wuniu Liu

Papers

Total Citations

H-Index

About

Wuniu Liu is a rising researcher at the intersection of formal verification, decision theory, and fuzzy optimization. Their primary contributions lie in extending probabilistic and possibilistic model checking to account for nondeterministic choices—a critical gap in previous fuzzy logic frameworks. In their highly cited 2023 work, "Optimal Strategy Model Checking in Possibilistic Decision Processes" (15 citations), Liu pioneered techniques that integrate nondeterminism into possibilistic models, enabling more robust verification of systems operating under uncertainty and incomplete information. This work has quickly become a reference point for researchers tackling complex decision-making in fuzzy environments. Liu also addresses the challenge of multi-objective optimization with fuzzy temporal relationships, as demonstrated in their 2023 paper "Complex objective optimization in fuzzy environments" (3 citations). Here, they introduced novel methods to model and optimize objectives whose temporal dependencies are inherently vague—a problem prevalent in real-world applications like scheduling, resource allocation, and AI planning. Though early in their career, Liu’s work is already shaping how formal methods and optimization can be harmonized to handle real-world ambiguity, marking them as a promising voice in the evolving landscape of fuzzy systems and automated reasoning.