Modeling and analysis of HIV/AIDS spread in Pakistan: Role of optimal control and behavioral changes. - Muhammad Altaf Khan; Necati Özdemir; Irfan Ahmad 007; Nurulfiza Mat Isa; Ebraheem O. Alzahrani (J. Comput. Appl. Math., 2026)