@misc{indiciaea297a43f8e1f,
  title = {LTLf Synthesis with Fairness and Stability Assumptions},
  author = {Shufang Zhu and Giuseppe De Giacomo and Geguang Pu and Moshe Vardi},
  year = {2019},
  url = {https://arxiv.org/abs/1912.07804},
  note = {Source identifier: 1912.07804}
}