Optimising parity game solvers using dynamic SCC maintenance

  • A.M. Huijsmans

Student thesis: Master

Date of Award13 Sept 2021
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1)

Cite this

'