Conditionally Optimal Algorithms for Generalized B\"uchi Games

DOI10.4230/LIPIcs.MFCS.2016.25zbMath1398.68390arXiv1607.05850OpenAlexW4298853835MaRDI QIDQ4608584

Veronika Loitzenbauer, Krishnendu Chatterjee, Wolfgang Dvořák, Monika R. Henzinger

Publication date: 21 March 2018

Full work available at URL: https://arxiv.org/abs/1607.05850

zbMATH Keywords

graph algorithmsgraph gamescomputer-aided verificationconditional lower bounds\(\mathrm{GR}(1)\) objectivegeneralized Büchi objective

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Games involving graphs (91A43) Graph theory (including graph drawing) in computer science (68R10) Graph algorithms (graph-theoretic aspects) (05C85)

Related Items (3)

Fine-grained complexity lower bounds for problems in computer aided verification ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Conditionally Optimal Algorithms for Generalized B\"uchi Games