Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models. - Siti Nuraishah Agos Jawaddi; Azlan Ismail; Muhammad Nur Haziq Mohammad Hatta; Anis Faqihah Kamarulzaman (J. Supercomput., 2024)