Safe reinforcement learning via formal methods: Toward safe control through proof and learning

@INPROCEEDINGS{DBLP:conf/aaai/FultonP18,
	pdf = {pub/SafeRL.pdf},
	slides = {pub/SafeRL-slides.pdf},

  author    = {Nathan Fulton and
               Andr{\'e} Platzer},
  title     = {Safe Reinforcement Learning via Formal Methods:
               Toward Safe Control Through Proof and Learning},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference
               on Artificial Intelligence,
               February 2-7, 2018, New Orleans, Louisiana, {USA.}},
  pages     = {6485-6492},
  year      = {2018},
  editor    = {Sheila McIlraith and
               Kilian Weinberger},
  publisher = {{AAAI} Press},
  eprint    = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17376/16225},
}```