Decidability Results for Multi-objective Stochastic Games.

Romain Brenguier, Vojtech Forejt

Browse the full ATVA paper archive.