@incollection{Almagor_2014,
    doi = {10.1007/978-3-642-54862-8_37},
    url = {https://doi.org/10.1007%2F978-3-642-54862-8_37},
    year = {2014},
    publisher = {Springer Berlin Heidelberg},
    pages = {424--439},
    author = {Shaull Almagor and Udi Boker and Orna Kupferman},
    title = {Discounting in {LTL}},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Almagor_2014, doi = {10.1007/978-3-642-54862-8_37}, url = {https://doi.org/10.1007%2F978-3-642-54862-8_37}, year = {2014}, publisher = {Springer Berlin Heidelberg}, pages = {424--439}, author = {Shaull Almagor and Udi Boker and Orna Kupferman}, title = {Discounting in {LTL}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }