×

Found 2 Documents (Results 1–2)

A faster deterministic exponential time algorithm for energy games and mean payoff games. (English) Zbl 1522.91066

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 114, 14 p. (2019).
MSC:  91A68 91A43 05C57
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field