Aminof, B., G. De Giacomo, and S. Rubin. “Reactive Synthesis of Dominant Strategies”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 5, June 2023, pp. 6228-35, doi:10.1609/aaai.v37i5.25767.