Media type: E-Book; Video Title: Solving Mean-Payoff Games via Quasi Dominions Contributor: Dell'Erba, Daniele [Author]; Mogavero, Fabio [Other]; Benerecetti, Massimo [Other] Published: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021) Extent: 1 Online-Ressource (505 MB, 00:16:23:03) Language: English DOI: 10.5446/55029 Identifier: Keywords: Progress Measure ; Quasi dominion ; Mean-Payoff Games Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution - Non Commercial (CC BY-NC)