Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking.

Azlan B. Ismail, Marta Kwiatkowska

Browse the full APSEC paper archive.