C. Hagemeier, G. de Giacomo, and M. Y. Vardi, “LTLf Synthesis Under Unreliable Input”, AAAI, vol. 39, no. 14, pp. 14958–14966, Apr. 2025.