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

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 cost, which can not only describe the uncertain choi...

Descripción completa

Detalles Bibliográficos
Autores principales: Ma, Zhanyou, Li, Zhaokai, Li, Weijun, Gao, Yingnan, Li, Xia
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9498157/
https://www.ncbi.nlm.nih.gov/pubmed/36141069
http://dx.doi.org/10.3390/e24091183

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9498157/
https://www.ncbi.nlm.nih.gov/pubmed/36141069
http://dx.doi.org/10.3390/e24091183

Ejemplares similares