Aminof, B., De Giacomo, G., & Rubin, S. (2023). Reactive Synthesis of Dominant Strategies. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6228-6235. https://doi.org/10.1609/aaai.v37i5.25767