Modeling and analysis of board games

Playing board games is always entertaining. Since most board games are played with more than one player, they make individuals come closer, relieve stress and also improve cognitive brain activity. As most board games involve a card, a die or any similar playing tool, which is dictated by luck, it lends to the question, to what degree, and how much of the game is influenced by this uncertainty. Interesting questions arise like, would a game run infinitely? Will the starting player have an edge over the other players? This research project aims to model and analyse board games with probabilistic model checking and answer those questions for the games- Snake and Ladders and the Game of the Goose.