Title: Formal Verification of Reinforcement Learning (Practice Talk)
Speaker: Mark Chevallier
Abstract:

I will discuss my research into formal verification of discrete reinforcement learning, with particular emphasis on the possible benefits of this approach. This 10 minutes talk is intended for an audience familiar with reinforcement learning but perhaps not so familiar with formal verification or theorem proving.