Lyapunov Stability and Optimization of a Fractional-Order HIV/AIDS Model Coupling Vertical Transmission With Saturated Treatment. - Sulaimon F. Abimbade; Furaha Michael Chuma; Samson Olaniyi; Adekunle O. Sangotola; Gideon K. Gogovi (Int. J. Math. Math. Sci., 2026)