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...
Guardat en:
| Autors principals: | , , , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
MDPI AG
2022-08-01
|
| Col·lecció: | Entropy |
| Matèries: | |
| Accés en línia: | https://www.mdpi.com/1099-4300/24/9/1183 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|