BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Why Reinforcement Learning needs Formal Methods\, and Formal Metho
 ds need Reinforcement Learning - Alex Best (Harmonic)
DTSTART:20250612T130000Z
DTEND:20250612T140000Z
UID:TALK230647@talks.cam.ac.uk
DESCRIPTION:In this talk I'll try and motivate why formal methods and rein
 forcement learning really need each other\, rather than simply being usefu
 l tools\, and discuss&nbsp\;how they can progress together going&nbsp\;for
 ward.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR