Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick Runtime enforcement of hyperproperties. (English) Zbl 1497.68291 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 283-299 (2021). MSC: 68Q60 03B44 91A80 PDFBibTeX XMLCite \textit{N. Coenen} et al., Lect. Notes Comput. Sci. 12971, 283--299 (2021; Zbl 1497.68291) Full Text: DOI arXiv
Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino, Loredana Improving parity games in practice. (English) Zbl 1507.68184 Ann. Math. Artif. Intell. 89, No. 5-6, 551-574 (2021). MSC: 68Q60 91A43 91A80 PDFBibTeX XMLCite \textit{A. Di Stasio} et al., Ann. Math. Artif. Intell. 89, No. 5--6, 551--574 (2021; Zbl 1507.68184) Full Text: DOI
ter Beek, Maurice H.; van Loo, Sjef; de Vink, Erik P.; Willemse, Tim A. C. Family-based SPL model checking using parity games with variability. (English) Zbl 1507.68199 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 245-265 (2020). MSC: 68Q60 68N30 91A43 91A80 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., Lect. Notes Comput. Sci. 12076, 245--265 (2020; Zbl 1507.68199) Full Text: DOI
Lijzenga, Oebele; van Dijk, Tom Symbolic parity game solvers that yield winning strategies. (English) Zbl 07455738 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 18-32 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{O. Lijzenga} and \textit{T. van Dijk}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 18--32 (2020; Zbl 07455738) Full Text: arXiv Link
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Automated temporal equilibrium analysis: verification and synthesis of multi-player games. (English) Zbl 1493.68360 Artif. Intell. 287, Article ID 103353, 26 p. (2020). MSC: 68T42 68Q60 91A06 91A10 91A80 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Artif. Intell. 287, Article ID 103353, 26 p. (2020; Zbl 1493.68360) Full Text: DOI arXiv
Lapauw, Ruben; Bruynooghe, Maurice; Denecker, Marc Improving parity game solvers with justifications. (English) Zbl 1507.68192 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 449-470 (2020). MSC: 68Q60 91A43 91A80 PDFBibTeX XMLCite \textit{R. Lapauw} et al., Lect. Notes Comput. Sci. 11990, 449--470 (2020; Zbl 1507.68192) Full Text: DOI 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
van Dijk, Tom; Rubbens, Bob Simple fixpoint iteration to solve parity games. (English) Zbl 07453081 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, 123-139 (2019). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{T. van Dijk} and \textit{B. Rubbens}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 123--139 (2019; Zbl 07453081) Full Text: arXiv Link
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
Křetínský, Jan; Manta, Alexander; Meggendorfer, Tobias Semantic labelling and learning for parity game solving in LTL synthesis. (English) Zbl 1437.68118 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 404-422 (2019). MSC: 68Q60 03B44 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{J. Křetínský} et al., Lect. Notes Comput. Sci. 11781, 404--422 (2019; Zbl 1437.68118) Full Text: DOI arXiv
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio A delayed promotion policy for parity games. (English) Zbl 1400.68119 Inf. Comput. 262, Part 2, 221-240 (2018). MSC: 68Q60 91A43 PDFBibTeX XMLCite \textit{M. Benerecetti} et al., Inf. Comput. 262, Part 2, 221--240 (2018; Zbl 1400.68119) Full Text: DOI arXiv
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C. Parity game reductions. (English) Zbl 1398.68337 Acta Inf. 55, No. 5, 401-444 (2018). MSC: 68Q60 91A44 PDFBibTeX XMLCite \textit{S. Cranen} et al., Acta Inf. 55, No. 5, 401--444 (2018; Zbl 1398.68337) Full Text: DOI arXiv Link
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio Solving parity games via priority promotion. (English) Zbl 1390.68332 Form. Methods Syst. Des. 52, No. 2, 193-226 (2018). MSC: 68Q25 91A43 PDFBibTeX XMLCite \textit{M. Benerecetti} et al., Form. Methods Syst. Des. 52, No. 2, 193--226 (2018; Zbl 1390.68332) Full Text: DOI Link
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. (English) Zbl 1484.68141 Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 266-287 (2017). MSC: 68Q85 91A43 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 10145, 266--287 (2017; Zbl 1484.68141) Full Text: DOI arXiv
Benerecetti, Massimo; Dell’erba, Daniele; Mogavero, Fabio A delayed promotion policy for parity games. (English) Zbl 1478.68144 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, 30-45 (2016). MSC: 68Q60 91A43 PDFBibTeX XMLCite \textit{M. Benerecetti} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 30--45 (2016; Zbl 1478.68144) Full Text: Link
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
Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. Solving parity games using an automata-based algorithm. (English) Zbl 1475.68475 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9705, 64-76 (2016). MSC: 68W40 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{A. Di Stasio} et al., Lect. Notes Comput. Sci. 9705, 64--76 (2016; Zbl 1475.68475) Full Text: DOI arXiv
Dittmann, Christoph; Kreutzer, Stephan; Tomescu, Alexandru I. Graph operations on parity games and polynomial-time algorithms. (English) Zbl 1334.05088 Theor. Comput. Sci. 614, 97-108 (2016). MSC: 05C57 05C20 05C76 05C85 91A43 91A05 PDFBibTeX XMLCite \textit{C. Dittmann} et al., Theor. Comput. Sci. 614, 97--108 (2016; Zbl 1334.05088) 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
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir The Rabin index of parity games: its complexity and approximation. (English) Zbl 1332.68060 Inf. Comput. 245, 36-53 (2015). MSC: 68Q19 05C15 05C57 68Q17 68Q25 91A43 91A05 PDFBibTeX XMLCite \textit{M. Huth} et al., Inf. Comput. 245, 36--53 (2015; Zbl 1332.68060) Full Text: DOI
Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas Symmetric strategy improvement. (English) Zbl 1440.91005 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 388-400 (2015). MSC: 91A05 68Q25 PDFBibTeX XMLCite \textit{S. Schewe} et al., Lect. Notes Comput. Sci. 9135, 388--400 (2015; Zbl 1440.91005) Full Text: DOI arXiv
Chebotarev, A. N. Using the compatibility analysis of logical specifications of automata to solve game problems. (English. Russian original) Zbl 1311.91051 Cybern. Syst. Anal. 50, No. 4, 487-494 (2014); translation from Kibern. Sist. Anal. No. 4, 3-13 (2014). MSC: 91A40 68Q99 PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 50, No. 4, 487--494 (2014; Zbl 1311.91051); translation from Kibern. Sist. Anal. No. 4, 3--13 (2014) Full Text: DOI
Friedmann, Oliver; Lange, Martin; Latte, Markus Satisfiability games for branching-time logics. (English) Zbl 1312.03023 Log. Methods Comput. Sci. 9, No. 4, Paper No. 5, 36 p. (2013). MSC: 03B44 68Q45 91A80 PDFBibTeX XMLCite \textit{O. Friedmann} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 5, 36 p. (2013; Zbl 1312.03023) Full Text: DOI arXiv
Friedmann, Oliver; Lange, Martin Two local strategy iteration schemes for parity game solving. (English) Zbl 1246.91025 Int. J. Found. Comput. Sci. 23, No. 3, 669-685 (2012). MSC: 91A43 91A05 68Q60 03B80 PDFBibTeX XMLCite \textit{O. Friedmann} and \textit{M. Lange}, Int. J. Found. Comput. Sci. 23, No. 3, 669--685 (2012; Zbl 1246.91025) Full Text: DOI
Friedmann, Oliver An exponential lower bound for the latest deterministic strategy iteration algorithms. (English) Zbl 1237.68087 Log. Methods Comput. Sci. 7, No. 3, Paper No. 23, 42 p. (2011). MSC: 68Q17 91A15 91A43 PDFBibTeX XMLCite \textit{O. Friedmann}, Log. Methods Comput. Sci. 7, No. 3, Paper No. 23, 42 p. (2011; Zbl 1237.68087) Full Text: DOI
Friedmann, Oliver Recursive algorithm for parity games requires exponential time. (English) Zbl 1232.91064 RAIRO, Theor. Inform. Appl. 45, No. 4, 449-457 (2011). MSC: 91A43 91A05 05C57 PDFBibTeX XMLCite \textit{O. Friedmann}, RAIRO, Theor. Inform. Appl. 45, No. 4, 449--457 (2011; Zbl 1232.91064) Full Text: DOI EuDML Link
Doyen, Laurent; Raskin, Jean-François Games with imperfect information: theory and algorithms. (English) Zbl 1229.91080 Apt, Krzysztof R. (ed.) et al., Lectures in game theory for computer scientists. Cambridge: Cambridge University Press (ISBN 978-0-521-19866-0/hbk). 185-212 (2011). MSC: 91A43 PDFBibTeX XMLCite \textit{L. Doyen} and \textit{J.-F. Raskin}, in: Lectures in game theory for computer scientists. Cambridge: Cambridge University Press. 185--212 (2011; Zbl 1229.91080)
Friedmann, Oliver The Stevens-Stirling-algorithm for solving parity games locally requires exponential time. (English) Zbl 1188.91044 Int. J. Found. Comput. Sci. 21, No. 3, 277-287 (2010). MSC: 91A43 68Q60 68Q25 91A05 PDFBibTeX XMLCite \textit{O. Friedmann}, Int. J. Found. Comput. Sci. 21, No. 3, 277--287 (2010; Zbl 1188.91044) Full Text: DOI
Friedmann, Oliver; Lange, Martin Solving parity games in practice. (English) Zbl 1258.68077 Liu, Zhiming (ed.) et al., Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04760-2/pbk). Lecture Notes in Computer Science 5799, 182-196 (2009). MSC: 68Q45 03D05 68Q60 91A05 PDFBibTeX XMLCite \textit{O. Friedmann} and \textit{M. Lange}, Lect. Notes Comput. Sci. 5799, 182--196 (2009; Zbl 1258.68077) Full Text: DOI