@inproceedings{DBLP:conf/tacas/AlmagorBK14,
  title = "Discounting in {LTL}",
  author = "Shaull Almagor and Udi Boker and Orna Kupferman",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings",
  editor = "Erika {\'{A}}brah{\'{a}}m and Klaus Havelund",
  isbn = "978-3-642-54861-1",
  pages = "424--439",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-642-54862-8_37",
  volume = "8413",
  doi = "10.1007/978-3-642-54862-8_37",
}