@misc{indiciae6405396d3645,
  title = {Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking},
  author = {Dennis Gross and Thiago D. Simao and Nils Jansen and Guillermo A. Perez},
  year = {2022},
  url = {https://arxiv.org/abs/2212.05337},
  note = {Source identifier: 2212.05337}
}