// probability a player wins at least one of k rounds
<<player1>>Pmax=?[F win=1 & rounds<=k ]
<<player2>>Pmax=?[F win=2 & rounds<=k ]

// expected utility of a player over k rounds
<<player1>> R{"utility1"}max=?[F rounds=k ]
<<player2>> R{"utility2"}max=?[F rounds=k ]