Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives

Lorenzo Clemente, Jean-François Raskin

The beyond worst-case threshold problem (BWC), recently introduced by Bruyère et al., asks given a quantitative game graph for the synthesis of a strategy that i) enforces some min…