Hagemeier, C., de Giacomo, G. and Vardi, M. Y. (2025) “LTLf Synthesis Under Unreliable Input”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), pp. 14958–14966. doi: 10.1609/aaai.v39i14.33640.