Yongming Li 0001, Wuniu Liu, Junmei Wang, Xianfeng Yu, Chao Li. Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes. IEEE T. Fuzzy Systems, 31(10):3495-3506, October 2023. [doi]
Abstract is missing.