References & Citations
Computer Science > Formal Languages and Automata Theory
Title: The Theory of Universal Graphs for Infinite Duration Games
(Submitted on 12 Apr 2021 (v1), last revised 6 Sep 2022 (this version, v8))
Abstract: We introduce the notion of universal graphs as a tool for constructing algorithms solving games of infinite duration such as parity games and mean payoff games. In the first part we develop the theory of universal graphs, with two goals: showing an equivalence and normalisation result between different recently introduced related models, and constructing generic value iteration algorithms for any positionally determined objective. In the second part we give four applications: to parity games, to mean payoff games, to a disjunction between a parity and a mean payoff objective, and to disjunctions of several mean payoff objectives. For each of these four cases we construct algorithms achieving or improving over the best known time and space complexity.
Submission history
From: Pierre Ohlmann [view email] [via LOGICAL proxy][v1] Mon, 12 Apr 2021 07:53:43 GMT (1951kb)
[v2] Wed, 21 Apr 2021 13:15:26 GMT (3034kb)
[v3] Tue, 27 Jul 2021 08:44:47 GMT (2422kb)
[v4] Tue, 17 Aug 2021 07:17:37 GMT (2422kb)
[v5] Tue, 1 Mar 2022 17:03:05 GMT (2972kb)
[v6] Sat, 21 May 2022 09:08:19 GMT (2424kb)
[v7] Fri, 2 Sep 2022 09:36:16 GMT (2994kb)
[v8] Tue, 6 Sep 2022 14:23:38 GMT (2427kb,D)
Link back to: arXiv, form interface, contact.