Extending renegotiation-proofness to infinite horizon games · Study