A Extensive-form correlated equilibrium

In the former, the mediator draws and recommends a complete normal-form plan to each player before the game starts. This is beneficial when the mediator wants to maximize, e.g., the Appendix A.1 provides a suitable formal definition of the set of EFCEs via the notion of trigger agent (originally This holds for arbitrary EFGs with multiple players and/or chance moves. Unfortunately, that algorithm is mainly a theoretical tool, and it is known to have limited scalability beyond toy problems. However, their algorithm is centralized and based on MCMC sampling which may limit its practical appeal. B.1 Proofs for Section 4 The following auxiliary result is exploited in the proof of Theorem 1. Lemma 4. This concludes the proof.Theorem 1.