Wuniu Liu
Orcid: 0000-0002-0220-9436
According to our database1,
Wuniu Liu
authored at least 5 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Emerg. Top. Comput. Intell., February, 2024
2023
IEEE Trans. Syst. Man Cybern. Syst., October, 2023
Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes.
IEEE Trans. Fuzzy Syst., October, 2023
2021
Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler.
Proceedings of the Theoretical Computer Science, 2021