Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1909.08538.pdf (Preprint), 269KB
Neider, D., Weinert, A., & Zimmermann, M. (2019). Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, 1-16. doi:10.4204/EPTCS.305.1.