Monte-Carlo Tree Search for Simulation-based Play Strategy Analysis
LUDOCORE: A logical game engine for modeling videogames