Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. Camacho, A., Chen, O., Sanner, S., & McIlraith, S. A. In Proceedings of the Tenth International Symposium on Combinatorial Search (SoCS-17), pages 159–160, 2017.
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping [pdf]Paper  bibtex   7 downloads  

Downloads: 7