1![Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska](https://www.pdfsearch.io/img/8cad86dc93d94a8256bae384172e6b1c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-10-04 06:58:47
|
---|
2![Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/1c341bb13b932479a2bb79495145a571.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-06-29 07:04:13
|
---|
3![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2009-09-17 21:36:28
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2009-09-17 21:32:58
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2005-12-20 10:45:17
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2009-09-17 21:37:28
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2010-11-09 04:57:19
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2010-11-17 05:09:56
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2009-11-11 06:11:50
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: pareto.uab.es- Date: 2009-09-17 21:36:38
|
---|