TY - RPRT TI - Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning AU - Alper Kamil Bozkurt AU - Yu Wang AU - Michael M. Zavlanos AU - Miroslav Pajic PY - 2020 DO - 10.1109/icra40945.2020.9196796 UR - https://arxiv.org/abs/1909.07299 ID - 1909.07299 ER -