×

Found 29 Documents (Results 1–29)

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: arXiv Link

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
Full Text: DOI Link

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
Full Text: arXiv Link

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

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: 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

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).
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

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).
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