I don't know any game theory so can't say much about the landscape, but I know people've modified PRISM to model games: http://www.prismmodelchecker.org/games/

Fair warning though: PRISM is... weird. You can analyze some crazy complex properties in it but you don't get basic affordances like "strings", "lists", or "functions that take parameters".