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

'