@inproceedings{DuretLutz2026FastObligation,
  title = "Fast Obligation Translation and Synthesis",
  author = "Alexandre Duret-Lutz and Giuseppe De Giacomo and Marcin Jurdzi{\'n}ski and Nir Piterman and Moshe Y. Vardi and Shufang Zhu",
  year = "2026",
  booktitle = "Proceedings of CAV 2026",
}