autonomic clouds multiple quality objectives stochastic games model checking strategy synthesis Abstraction methods Adaptation decisions Behavioral research Citric Acid Erythritol Game theory Glycerol Honey Kynurenic Acid Mannitol Model checking Multiple quality Pareto optimal decisions Pareto principle SYSTEMS Service Level Agreement (SLA) Stochastic game Stochastic models Stochastic systems Strategy synthesis Temporal logic specifications VERIFICATION Yarrowia calcium oxide chemistry citric acid