Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.

Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche

Browse the full TACAS paper archive.