Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.

Alberto Camacho Oscar Chen Scott Sanner Sheila A. McIlraith

Published in: SOCS (2017)

Keyphrases

reward shaping
reinforcement learning
search algorithm
search space
model checking
reward function
temporal logic
complex domains