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]
@article{MaLLGL22, title = {Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost}, author = {Zhanyou Ma and Zhaokai Li and Weijun Li and Yingnan Gao and Xia Li}, year = {2022}, doi = {10.3390/e24091183}, url = {https://doi.org/10.3390/e24091183}, researchr = {https://researchr.org/publication/MaLLGL22}, cites = {0}, citedby = {0}, journal = {Entropy}, volume = {24}, number = {9}, pages = {1183}, }