University of Twente Student Theses

Login

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