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...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , , , , |
|---|---|
| வடிவம்: | Artigo |
| மொழி: | Inglês |
| வெளியிடப்பட்டது: |
MDPI AG
2022-08-01
|
| தொடர்: | Entropy |
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://www.mdpi.com/1099-4300/24/9/1183 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|