TY  - RPRT
TI  - Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)
AU  - Ronen Brafman
AU  - Giuseppe De Giacomo
AU  - Fabio Patrizi
PY  - 2017
UR  - https://arxiv.org/abs/1706.08100
ID  - 1706.08100
ER  -