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', 'André 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', 'Kilian Weinberger']},
	publisher = {AAAI Press},
	eprint = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17376/16225}
}