Reductions for parity games and model checking

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

950 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Willemse, Tim A.C., Promotor Groote, Jan Friso, Promotor
Award date	16 Sept 2020
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-5089-0
Publication status	Published - 16 Sept 2020

Proefschrift.

Access to Document

IPA Dissertation Award 2020
Neele, T. (Recipient), 6 Jul 2021
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific

@phdthesis{9d994bb55df347cab33bed322a73d7cd,

title = "Reductions for parity games and model checking",

author = "Neele, \{Thomas Sebastiaan\}",

note = "Proefschrift.",

year = "2020",

month = sep,

day = "16",

language = "English",

isbn = "978-90-386-5089-0",

series = "IPA Dissertation Series",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}