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...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
University of Kashan
2024-06-01
|
| Sarja: | Mathematics Interdisciplinary Research |
| Aiheet: | |
| Linkit: | https://mir.kashanu.ac.ir/article_114322_d21590eb7919d74be95308a790bc5283.pdf |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|