Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment. - Shantanu Shukla; Vibhash Yadav (Discov. Comput., 2025)