Cargando…
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...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2022
|
| Materias: | |
| 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 |