@inproceedings{DeGiacomo2026IncrementalLTLf,
  title = "Incremental LTLf Synthesis",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Gianmarco Parretti and Fabio Patrizi and Moshe Y. Vardi",
  year = "2026",
  booktitle = "Proceedings of ICAPS 2026",
}