@inproceedings{DeGiacomo2026GoalManagement,
  title = "Synthesis Foundations for Online LTLf Goal Management",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Gianmarco Parretti and Fabio Patrizi",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}