@INPROCEEDINGS{DBLP:conf/aaai/FultonP18,
  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     = {},
  year      = {2018},
  editor    = {Sheila McIlraith and
               Kilian Weinberger},
  publisher = {{AAAI} Press},
}