Optimising parity game solvers using dynamic SCC maintenance

A.M. Huijsmans

Mathematics and Computer Science

Student thesis: Master

Date of Award	13 Sept 2021
Original language	English
Supervisor	Tim A.C. Willemse (Supervisor 1)

Cite this

Standard

Documents

Huijsmans, A
File: application/pdf, 1.18 MB
Type: Thesis

'