Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska

First Page		Document Content
Date: 2017-10-04 06:58:47		Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 1,57 MB Share Document on Facebook