Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning.

Nathan Fulton, Andr Platzer

Browse the full AAAI paper archive.