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
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.