Extended non-local games are a generalization of monogamy-of-entanglement games. played by two quantum parties and a quantum referee that performs a measurement on their local quantum system. Along the lines of the NPA hierarchy. the optimal winning probability of those games can be upper bounded by a hierarchy of semidefinite programs (SDPs) converging to the optimal value. https://www.rxkaitori.com/product-category/existalite-xcr-combo-units/