“A provably sound search algorithm for fully cooperative games was derived based on mirror descent using the Update-Equivalence Framework.”