Look Ahead Distributed Planning For Application Management In Cloud. - Farzin Zaker; Marin Litoiu; Mark Shtern (CNSM, 2019)

Formally Verified Scalable Look Ahead Planning For Cloud Resource Management. - Farzin Zaker; Marin Litoiu; Mark Shtern (ACM Trans. Auton. Adapt. Syst., 2022)