Aminof, B.; De Giacomo, G.; Rubin, S. Reactive Synthesis of Dominant Strategies. AAAI 2023, 37, 6228-6235.