- Article
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost
- Zhanyou Ma,
- Zhaokai Li,
- Weijun Li,
- Yingnan Gao and
- Xia Li
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with co...