Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment.
| Anthology ID: | DBLP:journals/ir/ShuklaY25 |
|---|---|
| Year: | 2025 |
| Venue: | Discover Computing |
| Pages: | 219 |
| URL: | https://doi.org/10.1007/S10791-025-09748-2 |
| DOI: | https://doi.org/10.1007/S10791-025-09748-2 |
| DBLP: | journals/ir/ShuklaY25 |
| BibTeX: |
@article{shukla-2025-formal,
author = {Shantanu Shukla and
Vibhash Yadav},
title = {{Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment}},
journal = {Discover Computing},
volume = {28},
number = {1},
pages = {219},
year = {2025},
url = {https://doi.org/10.1007/S10791-025-09748-2},
doi = {https://doi.org/10.1007/S10791-025-09748-2}
}