Jurdziński, Marcin; Morvan, Rémi; Thejaswini, K. S. 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 \textit{M. Jurdziński} et al., Lect. Notes Comput. Sci. 13660, 252--271 (2022; Zbl 1528.68404) Full Text: DOI arXiv
Zhang, Yong; Wu, Jingting; Lin, Wenxiong; Hou, Muyu Competitive analysis for two-option online leasing problem under sharing economy. (English) Zbl 1498.91254 J. Comb. Optim. 44, No. 1, 670-689 (2022). MSC: 91B54 PDFBibTeX XMLCite \textit{Y. Zhang} et al., J. Comb. Optim. 44, No. 1, 670--689 (2022; Zbl 1498.91254) Full Text: DOI
Zhang, Yong; Li, Jiahao; Yang, Xingyu; Wang, Xiaohui Lease or financial lease? Deterministic strategies for on-line financial lease problem with the second-hand transaction. (English) Zbl 1498.91514 J. Comb. Optim. 44, No. 2, 1248-1264 (2022). MSC: 91G99 68W27 PDFBibTeX XMLCite \textit{Y. Zhang} et al., J. Comb. Optim. 44, No. 2, 1248--1264 (2022; Zbl 1498.91514) Full Text: DOI
Feng, Xin; Chu, Chengbin Online leasing problem with price fluctuations and the second-hand transaction. (English) Zbl 1497.91121 J. Comb. Optim. 43, No. 5, 1280-1297 (2022). MSC: 91B24 90C27 PDFBibTeX XMLCite \textit{X. Feng} and \textit{C. Chu}, J. Comb. Optim. 43, No. 5, 1280--1297 (2022; Zbl 1497.91121) Full Text: DOI
Peltomäki, Jarkko; Salo, Ville Automatic winning shifts. (English) Zbl 1507.68170 Inf. Comput. 285, Part B, Article ID 104883, 21 p. (2022). Reviewer: Michel Rigo (Liège) MSC: 68Q45 11B85 37B51 68R15 91A46 PDFBibTeX XMLCite \textit{J. Peltomäki} and \textit{V. Salo}, Inf. Comput. 285, Part B, Article ID 104883, 21 p. (2022; Zbl 1507.68170) Full Text: DOI arXiv
Zhang, Yong; Xian, Jiayi; Huang, Menghu Online leasing strategy for depreciable equipment considering opportunity cost. (English) Zbl 1466.91123 Inf. Process. Lett. 162, Article ID 105981, 8 p. (2020). MSC: 91B24 68W27 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Inf. Process. Lett. 162, Article ID 105981, 8 p. (2020; Zbl 1466.91123) Full Text: DOI
Lehtinen, Karoliina; Boker, Udi Register games. (English) Zbl 1528.68189 Log. Methods Comput. Sci. 16, No. 2, Paper No. 6, 25 p. (2020). MSC: 68Q45 68Q25 91A43 PDFBibTeX XMLCite \textit{K. Lehtinen} and \textit{U. Boker}, Log. Methods Comput. Sci. 16, No. 2, Paper No. 6, 25 p. (2020; Zbl 1528.68189) Full Text: arXiv Link
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio Robust worst cases for parity games algorithms. (English) Zbl 1443.68067 Inf. Comput. 272, Article ID 104501, 17 p. (2020). MSC: 68Q17 91A43 91A80 PDFBibTeX XMLCite \textit{M. Benerecetti} et al., Inf. Comput. 272, Article ID 104501, 17 p. (2020; Zbl 1443.68067) Full Text: DOI
Winter, Sarah; Zimmermann, Martin Finite-state strategies in delay games. (English) Zbl 1443.68100 Inf. Comput. 272, Article ID 104500, 19 p. (2020). MSC: 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{S. Winter} and \textit{M. Zimmermann}, Inf. Comput. 272, Article ID 104500, 19 p. (2020; Zbl 1443.68100) Full Text: DOI arXiv
Icard, Thomas F. Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy. (English) Zbl 1437.91360 J. Math. Psychol. 95, Article ID 102308, 17 p. (2020). MSC: 91E10 91E30 68Q10 PDFBibTeX XMLCite \textit{T. F. Icard}, J. Math. Psychol. 95, Article ID 102308, 17 p. (2020; Zbl 1437.91360) Full Text: DOI
Bredereck, Robert; Faliszewski, Piotr; Niedermeier, Rolf; Skowron, Piotr; Talmon, Nimrod Mixed integer programming with convex/concave constraints: fixed-parameter tractability and applications to multicovering and voting. (English) Zbl 1435.90087 Theor. Comput. Sci. 814, 86-105 (2020). MSC: 90C11 68Q27 90C30 91B12 PDFBibTeX XMLCite \textit{R. Bredereck} et al., Theor. Comput. Sci. 814, 86--105 (2020; Zbl 1435.90087) Full Text: DOI arXiv
van Dijk, Tom 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 \textit{T. van Dijk}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 107--122 (2019; Zbl 07453080) Full Text: arXiv Link
Charlier, Émilie; Cisternino, Célia; Massuir, Adeline 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 \textit{É. Charlier} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34--49 (2019; Zbl 07453075) Full Text: arXiv Link
Lang, Jérôme; Mengin, Jérôme; Xia, Lirong Voting on multi-issue domains with conditionally lexicographic preferences. (English) Zbl 1483.91077 Artif. Intell. 265, 18-44 (2018). Reviewer: Annibal Parracho Sant’Anna (Rio de Janeiro) MSC: 91B14 91B12 91-08 PDFBibTeX XMLCite \textit{J. Lang} et al., Artif. Intell. 265, 18--44 (2018; Zbl 1483.91077) Full Text: DOI Link
Nguyen, Hoang Thach; Tran, Thi Thu Huong A maximizing characteristic for critical configurations of chip-firing games on digraphs. (English) Zbl 1398.05136 Discrete Appl. Math. 250, 38-46 (2018). MSC: 05C57 05C20 91A43 PDFBibTeX XMLCite \textit{H. T. Nguyen} and \textit{T. T. H. Tran}, Discrete Appl. Math. 250, 38--46 (2018; Zbl 1398.05136) Full Text: DOI arXiv
Zimmermann, Martin 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 \textit{M. Zimmermann}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 151--165 (2017; Zbl 1484.91014) Full Text: Link
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio 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 \textit{M. Benerecetti} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 121--135 (2017; Zbl 1483.91049) Full Text: arXiv Link
Halava, V.; Harju, T.; Niskanen, R.; Potapov, I. Weighted automata on infinite words in the context of attacker-defender games. (English) Zbl 1371.68150 Inf. Comput. 255, Part 1, 27-44 (2017). MSC: 68Q45 91A46 PDFBibTeX XMLCite \textit{V. Halava} et al., Inf. Comput. 255, Part 1, 27--44 (2017; Zbl 1371.68150) Full Text: DOI
Duchêne, Eric; Parreau, Aline; Rigo, Michel Deciding game invariance. (English) Zbl 1410.91126 Inf. Comput. 253, Part 1, 127-142 (2017). MSC: 91A46 68R15 PDFBibTeX XMLCite \textit{E. Duchêne} et al., Inf. Comput. 253, Part 1, 127--142 (2017; Zbl 1410.91126) Full Text: DOI arXiv
Ah-Fat, Patrick; Huth, Michael 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). MSC: 68Q60 68Q25 91A43 91A80 PDFBibTeX XMLCite \textit{P. Ah-Fat} and \textit{M. Huth}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 1--15 (2016; Zbl 1478.68139) Full Text: arXiv Link
Clemente, Jhoirene; Hromkovič, Juraj; Komm, Dennis; Kudahl, Christian 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 \textit{J. Clemente} et al., Lect. Notes Comput. Sci. 9843, 203--212 (2016; Zbl 1478.68452) Full Text: DOI arXiv
Gazda, Maciej; Willemse, Tim A. C. 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 \textit{M. Gazda} and \textit{T. A. C. Willemse}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 158--171 (2015; Zbl 1476.68319) Full Text: arXiv Link
Lenisa, Marina Multigames and strategies, coalgebraically. (English) Zbl 1331.91051 Theor. Comput. Sci. 604, 46-62 (2015). MSC: 91A44 91A20 18B99 PDFBibTeX XMLCite \textit{M. Lenisa}, Theor. Comput. Sci. 604, 46--62 (2015; Zbl 1331.91051) Full Text: DOI
Halava, Vesa; Harju, Tero; Niskanen, Reino; Potapov, Igor 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 \textit{V. Halava} et al., Lect. Notes Comput. Sci. 9136, 206--215 (2015; Zbl 1459.68101) Full Text: DOI arXiv
Beckmann, Arnold; Pudlák, Pavel; Thapen, Neil Parity games and propositional proofs. (English) Zbl 1291.03111 ACM Trans. Comput. Log. 15, No. 2, Article No. 17, 30 p. (2014). MSC: 03F20 03B35 91A15 91A46 PDFBibTeX XMLCite \textit{A. Beckmann} et al., ACM Trans. Comput. Log. 15, No. 2, Article No. 17, 30 p. (2014; Zbl 1291.03111) Full Text: DOI
Thomas, Wolfgang 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 \textit{W. Thomas}, Lect. Notes Comput. Sci. 4910, 118--123 (2008; Zbl 1132.91318) Full Text: DOI