TY - RPRT TI - Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report) AU - Florent Delgrange AU - Ann Nowé AU - Guillermo A. Pérez PY - 2022 UR - https://arxiv.org/abs/2112.09655 ID - 2112.09655 ER -