GitHub repository: JacobPjetursson/Board-game-strategy-synthesis
Primary language: Java
Description: Based on my Master's Thesis: Synthesizing human-friendly strategies in board games.