The Theory of Universal Graphs for Infinite Duration Games

Thomas Colcombet, Nathanaƫl Fijalkow, Pawel Gawrychowski, Pierre Ohlmann. The Theory of Universal Graphs for Infinite Duration Games. Logical Methods in Computer Science, 18(3), 2022. [doi]

Abstract

Abstract is missing.