const int k; // time bound // each player wants to maximise the expected number of messages sent in k steps <>max=? (R{"r1"}[C<=k] + R{"r2"}[C<=k]) // each player wants to maximise the probability of sending a message <>max=? (P[F s1=1] + P[F s2=1])