I share the opinion that applying game theoretical tools to computing applications is challenging. Some 15-20 years ago there was a game-theory hype and some interesting results appeared. Around that time, I was working on those kinds of models. In my experience, applying game theoretical solutions concepts necessitates some kind of overhead work. For instance, in my case I applied Nash bargaining theory for multi robot coordination. The robots had to formulate their private utility profiles at the coordination point, share the profiles, and calculate the full game equilibria (with the help of the other robot). Since the game in the general case had multiple equilibria, the initiating robot also shared a random number with the other robot and both used the number to choose the same joint solution, and then finally implement the individual part.