Login / Signup
Xianfeng Yu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Temporal Properties
Probability Theory
Decision Process
Model Checking
Top Venues
IEEE Trans. Fuzzy Syst.
</>
Publications
</>
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)