TY  - RPRT
TI  - Reinforcement Learning With Temporal Logic Rewards
AU  - Xiao Li
AU  - Cristian-Ioan Vasile
AU  - Calin Belta
PY  - 2017
UR  - https://arxiv.org/abs/1612.03471
ID  - 1612.03471
ER  -