TY  - RPRT
TI  - Discounting in LTL
AU  - Shaull Almagor
AU  - Udi Boker
AU  - Orna Kupferman
PY  - 2014
UR  - https://arxiv.org/abs/1406.4249
ID  - 1406.4249
ER  -