author: Edwin Flapper
title: Formal Verification of Parity Games Algorithms
keywords: parity games
topics: Algorithms and Data Structures
committee: Tom van Dijk
started: November 2019