Extensive-Form Correlated Equilibrium: Definition and Computational Complexity · Study