DMCA

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives

Cached

Download Links

by Nicolas Basset , Marta Kwiatkowska , Ufuk Topcu , Clemens Wiltsche