The Spectroscopy Invaders Play

In The Spectroscopy Invaders, the player outflanks groups of elves, telling apart graphs with as few tricks as possible.

Technically, one plays the attacker in the linear-time–branching-time spectroscopy game. A play of the game corresponds to naming a universal attack strategy in the theoretical game, or, equivalently, to constructing a distinguishing formula. To reach maximal level scores, one has to play out formula that uses as few syntactic features as possible.