You note down the notion of a randomized program, a Büchi game and a Nash Equilibrium. But you cannot follow what the researchers actually use these concepts for.