Verifiably Safe Off-Model Reinforcement Learning.

Nathan Fulton, Andr Platzer

Browse the full TACAS paper archive.