@inproceedings{ClementeRaskin:LICS:2015,
    Author = {Clemente, Lorenzo and Raskin, Jean-Fran{\c c}ois},
    BookTitle = {Proc. of LICS'15},
    File = {Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives - Multidimensional\_beyond\_Worst-Case\_and\_Almost-Sure\_Problems\_for\_Mean-Payoff\_Objectives.pdf},
    ISSN = {1043-6871},
    Keywords = {computability;computational complexity;game theory;graph theory;probability;relaxation theory;stochastic processes;BAS threshold problem;NP∩coNP;beyond almost-sure threshold problem;beyond worst-case threshold problem;complexity;infinite-memory strategies;infinite-memory threshold problem;mean-payoff games;multidimensional BWC problem;multidimensional mean-payoff objectives;natural relaxation;probability;quantitative game graph;solvability;stochastic model;unidimensional mean-payoff objectives;Analytical models;Approximation methods;Complexity theory;Game theory;Games;Markov processes;Markov decision processes;controller synthesis;mean-payoff games},
    Month = {July},
    Pages = {257--268},
    Title = {Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.33},
    date-added = {2016-01-18 12:58:38 +0000},
    date-modified = {2016-01-18 12:59:10 +0000},
    doi = {10.1109/LICS.2015.33}
}

@inproceedings{ClementeRaskin:LICS:2015, Author = {Clemente, Lorenzo and Raskin, Jean-Fran{\c c}ois}, BookTitle = {Proc. of LICS'15}, File = {Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives - Multidimensional_beyond_Worst-Case_and_Almost-Sure_Problems_for_Mean-Payoff_Objectives.pdf}, ISSN = {1043-6871}, Keywords = {computability;computational complexity;game theory;graph theory;probability;relaxation theory;stochastic processes;BAS threshold problem;NP∩coNP;beyond almost-sure threshold problem;beyond worst-case threshold problem;complexity;infinite-memory strategies;infinite-memory threshold problem;mean-payoff games;multidimensional BWC problem;multidimensional mean-payoff objectives;natural relaxation;probability;quantitative game graph;solvability;stochastic model;unidimensional mean-payoff objectives;Analytical models;Approximation methods;Complexity theory;Game theory;Games;Markov processes;Markov decision processes;controller synthesis;mean-payoff games}, Month = {July}, Pages = {257--268}, Title = {Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.33}, date-added = {2016-01-18 12:58:38 +0000}, date-modified = {2016-01-18 12:59:10 +0000}, doi = {10.1109/LICS.2015.33} }