University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Symbolic parity games : Two novel fixpoint iteration algorithms with strategy derivation

Lijzenga, O. (2020) Symbolic parity games : Two novel fixpoint iteration algorithms with strategy derivation.

[img] PDF
325kB
Abstract:In this paper, we study symbolic parity game solving using BDDs. The state of the art of symbolic parity game algorithms is improved by implementing two novel fixpoint iteration algorithms. Contrary to current symbolic algorithms, our algorithms also derive winning strategies. Empirical evaluation compares the new symbolic algorithms with a symbolic implementation of Zielonka's recursive algorithm over benchmark sets from SYNTCOMP 2020. We conclude that both new algorithms are competitive with Zielonka's algorithm, while also providing winning strategies.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/81974
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page