Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yongming Li 0001' in GoogleThis author has not been identified. Look up 'Wuniu Liu' in GoogleThis author has not been identified. Look up 'Junmei Wang' in GoogleThis author has not been identified. Look up 'Xianfeng Yu' in GoogleThis author has not been identified. Look up 'Chao Li' in Google

runs on WebDSL