Pareto

#	Item
1	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 Language: 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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
3	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2009-09-17 21:36:28
4	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2009-09-17 21:32:58
5	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2005-12-20 10:45:17
6	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2009-09-17 21:37:28
7	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2010-11-09 04:57:19
8	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2010-11-17 05:09:56
9	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2009-11-11 06:11:50
10	PDF Document Add to Reading List Source URL: pareto.uab.es - Date: 2009-09-17 21:36:38