You control a “good bot” that wants to outmaneuver a “bad bot” while moving through a graph. The capabilities of the bots change throughout the levels, illustrating different notions of behavioral equivalence on transition systems.
Bisimilarity and other process equivalences provide a concept of equating systems. One way of determining process equivalence on two processes is through the means of playing logical games on their representations as labeled transition systems. The video game covers strong and weak (bi-)similarity as well as coupled similarity as notions.
Originally, the game is also known as “RvG game” because it has been released as a contribution to the Rob van Glabbeek fest event (which sadly did not take place due to Covid).