An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems

Student thesis: Master

Abstract

Date of Award31 Aug 2009
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1)

Cite this

An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems
Keiren, J. J. A. (Author). 31 Aug 2009

Student thesis: Master