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]

Abstract

Abstract is missing.