Before revision: Formally, this is represented by the set of histories The terminal histories, upon reaching which the game terminates, is given by For all other histories, one of the two players makes a move, and this is given by the player function The utility function of the is defined as In words, the incurs a cost of whenever she chooses to raise her , and if the , she gets a payoff of .
After revision: Formally, this is represented by the set of histories The terminal histories, upon reaching which the game terminates, is given by For all other histories, one of the two players makes a move, and this is given by the player function The utility function of the is defined as In words, the incurs a cost of whenever they choose to raise their , and if the , they get a payoff of .