Learning based supervisor synthesis of POMDP for PCTL specifications.

Xiaobin Zhang Bo Wu Hai Lin

Published in: CDC (2015)

Keyphrases

reinforcement learning
learning tasks
learning algorithm
learning process
learning systems
data sets
neural network
prior knowledge
active learning
supervised learning
learning problems
decision trees
online learning
domain independent
dynamical systems