Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games

Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin. Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput., 254:259-295, 2017. [doi]

Abstract

Abstract is missing.