@article{AK17,
  title = "Latticed-LTL synthesis in the presence of noisy inputs",
  author = "Shaull Almagor and Orna Kupferman",
  year = "2017",
  journal = "Discrete Event Dynamic Systems",
  number = "3",
  pages = "547--572",
  url = "https://doi.org/10.1007/s10626-017-0242-0",
  volume = "27",
  doi = "10.1007/s10626-017-0242-0",
}