TY  - RPRT
TI  - Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
AU  - Milad Kazemi
AU  - Sadegh Soudjani
PY  - 2020
UR  - https://arxiv.org/abs/2005.01319
ID  - 2005.01319
ER  -