Reductions for parity games and model checking

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Willemse, Tim A.C., Promotor
  • Groote, Jan Friso, Promotor
Award date16 Sep 2020
Place of PublicationEindhoven
Print ISBNs978-90-386-5089-0
Publication statusAccepted/In press - 16 Sep 2020

Bibliographical note


Cite this

Neele, T. (Accepted/In press). Reductions for parity games and model checking. Technische Universiteit Eindhoven.