LPOPL LTL Progression for Off-Policy Learning Paper: https://www.cs.toronto.edu/~toryn/papers/AAMAS-2018.pdf