TY  - RPRT
TI  - Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
AU  - Austin Jones
AU  - Derya Aksaray
AU  - Zhaodan Kong
AU  - Mac Schwager
AU  - Calin Belta
PY  - 2015
UR  - https://arxiv.org/abs/1510.06460
ID  - 1510.06460
ER  -