TY - RPRT TI - Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives AU - Anand Balakrishnan AU - Stefan Jakšić AU - Edgar A. Aguilar AU - Dejan Ničković AU - Jyotirmoy V. Deshmukh PY - 2022 DO - 10.1109/cdc49753.2023.10383559 UR - https://arxiv.org/abs/2202.02404 ID - 2202.02404 ER -