Neider, D., Weinert, A., & Zimmermann, M. (2022). Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation, 285(B): 104810. doi:10.1016/j.ic.2021.104810.