Skip to content
Date: 13th March 2020
Time: 14:00 - 16:00
Location: IF 2.33

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

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.