Hagemeier, C.; de Giacomo, G.; Vardi, M. Y. LTLf Synthesis Under Unreliable Input. AAAI 2025, 39, 14958-14966.