@misc{indiciae674171ce4f9b,
  title = {Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)},
  author = {Ronen Brafman and Giuseppe De Giacomo and Fabio Patrizi},
  year = {2017},
  url = {https://arxiv.org/abs/1706.08100},
  note = {Source identifier: 1706.08100}
}