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