Quantitative solution of omega-regular games
scientific article; zbMATH DE number 2117378
scientific article