×

Found 26 Documents (Results 1–26)

Universal algorithms for parity games and nested fixpoints. (English) Zbl 1528.68404

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 252-271 (2022).
MSC:  68W05 68Q25 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

A parity game tale of two counters. (English) Zbl 07453080

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 107-122 (2019).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

State complexity of the multiples of the Thue-Morse set. (English) Zbl 07453075

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34-49 (2019).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Finite-state strategies in delay games. (English) Zbl 1484.91014

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 151-165 (2017).
MSC:  91A10 68Q45
PDFBibTeX XMLCite
Full Text: Link

Robust exponential worst cases for divide-et-impera algorithms for parity games. (English) Zbl 1483.91049

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 121-135 (2017).
MSC:  91A43 68Q25 68W05
PDFBibTeX XMLCite
Full Text: arXiv Link

Partial solvers for parity games: effective polynomial-time composition. (English) Zbl 1478.68139

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 1-15 (2016).
PDFBibTeX XMLCite
Full Text: arXiv Link

Advice complexity of the online search problem. (English) Zbl 1478.68452

Mäkinen, Veli (ed.) et al., Combinatorial algorithms. 27th international workshop, IWOCA 2016, Helsinki, Finland, August 17–19, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9843, 203-212 (2016).
MSC:  68W27 68Q25 91G80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improvement in small progress measures. (English) Zbl 1476.68319

Esparza, Javier (ed.) et al., Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 158-171 (2015).
MSC:  68W40 68Q25 91A43
PDFBibTeX XMLCite
Full Text: arXiv Link

Weighted automata on infinite words in the context of attacker-defender games. (English) Zbl 1459.68101

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 206-215 (2015).
MSC:  68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimizing winning strategies in regular infinite games. (English) Zbl 1132.91318

Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 118-123 (2008).
MSC:  91A05 91A43 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software