Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Koh, Zhuan Khye; Loho, Georg

Journal title: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022).

Journal number: 63

Journal publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany

Published year: 2022

Published pages: 1-15

DOI identifier: 10.4230/lipics.mfcs.2022.63