References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Approximating the Minimal Lookahead Needed to Win Infinite Games
(Submitted on 22 Oct 2020 (v1), last revised 1 Mar 2022 (this version, v2))
Abstract: We present an exponential-time algorithm approximating the minimal lookahead necessary to win an $\omega$-regular delay game.
Submission history
From: Martin Zimmermann [view email][v1] Thu, 22 Oct 2020 13:30:30 GMT (10kb)
[v2] Tue, 1 Mar 2022 13:30:11 GMT (25kb)
Link back to: arXiv, form interface, contact.