@misc{indiciaea4bf8df2992d,
  title = {Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report)},
  author = {Florent Delgrange and Ann Nowé and Guillermo A. Pérez},
  year = {2022},
  url = {https://arxiv.org/abs/2112.09655},
  note = {Source identifier: 2112.09655}
}