Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost

Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li. Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. Entropy, 24(9):1183, 2022. [doi]

Authors

Zhanyou Ma

This author has not been identified. Look up 'Zhanyou Ma' in Google

Zhaokai Li

This author has not been identified. Look up 'Zhaokai Li' in Google

Weijun Li

This author has not been identified. Look up 'Weijun Li' in Google

Yingnan Gao

This author has not been identified. Look up 'Yingnan Gao' in Google

Xia Li

This author has not been identified. Look up 'Xia Li' in Google