@inproceedings{hagemeier2025unreliable,
  title = "{LTLf Synthesis Under Unreliable Input}",
  author = "Christian Hagemeier and Giuseppe De Giacomo and Moshe Y. Vardi",
  year = "2025",
  booktitle = "Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI)",
}