Compositional strategy synthesis for stochastic games with multiple objectives
scientific article; zbMATH DE number 6889871
scientific article