Master Computer Science



The following thesis was written by a student in the 2019-2020 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleAdapting IC3 for Combinatorial Two-Player Games
StudentZandvliet, Jos
ProgrammeMaster Computer Science
Year2019-2020
Supervisorsdr. A.W. Laarman (first supervisor)
dr. J.N. van Rijn (second supervisor)
Thesis Open Thesis PDF

Citation details

Zandvliet, Jos, Adapting IC3 for Combinatorial Two-Player Games, Thesis Master Computer Science, LIACS, Leiden University, 2020.