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

Xiao Li Yao Ma Calin Belta

Published in: ACC (2018)

Keyphrases

learning tasks
temporal logic
policy search
learning problems
dynamic programming
reinforcement learning
supervised learning
metric learning
prior knowledge
machine learning algorithms
model checking
verification method