Zhangand Sandholm. Finding and Certifying (near-)optimal Strategies in Black-box Extensive-form Games. 17 Mar. 2021.