Energy parity games
scientific article; zbMATH DE number 6103613
scientific article