Examples

This part of the documentation describes successful uses of Momba.

Racetrack is a pen and paper game where a car has to be steered on a two-dimensional grid from a start position to a goal position. We developed a formal model of this game using Momba.