TY  - RPRT
TI  - Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)
AU  - Daniel Neider
AU  - Alexander Weinert
AU  - Martin Zimmermann
PY  - 2021
UR  - https://arxiv.org/abs/1808.09028
ID  - 1808.09028
ER  -