@misc{DeGiacomo2026SymbolicSynthesis,
  title = "Symbolic Synthesis for LTLf+ Obligations",
  author = "Giuseppe De Giacomo and Christian Hagemeier and Daniel Hausmann and Nir Piterman",
  year = "2026",
  howpublished = "LAMA/SR@FLoC 2026",
}