(1)
Brafman, R.; De Giacomo, G.; Patrizi, F. LTLf/LDLf Non-Markovian Rewards. AAAI 2018, 32.