A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks.

Xiao Li Yao Ma Calin Belta

Published in: CoRR (2017)

Keyphrases

learning tasks
temporal logic
machine learning
policy search
supervised learning
reinforcement learning
pairwise
prior knowledge
dynamic programming
higher order
markov chain
model checking
learning problems
verification method