Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
scientific article; zbMATH DE number 6714837
scientific article