Improving Probabilistic Bisimulation for MDPs Using Machine Learning
The utilization of model checking has been suggested as a formal verification technique for analyzing critical systems. However, the primary challenge in applying to complex systems is the state space explosion problem. To address this issue, bisimulation minimization has emerged as a promi...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , |
|---|---|
| வடிவம்: | Artigo |
| மொழி: | Inglês |
| வெளியிடப்பட்டது: |
University of Kashan
2024-06-01
|
| தொடர்: | Mathematics Interdisciplinary Research |
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://mir.kashanu.ac.ir/article_114322_d21590eb7919d74be95308a790bc5283.pdf |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|