BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260912T092933Z
UID:Seminar-DMML-1116@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Danushka Bollegala:MAILTO:Danushka.Bollegala@liverpool.ac.uk
DTSTART:20220331T130000
DTEND:20220331T140000
SUMMARY:Data Mining and Machine Learning Series
DESCRIPTION:Chao Huang: Certified Reinforcement Learning\n\nThere has been increasing interest in applying machine learning techniques, especially reinforcement learning, to control and general decision making. Due to the complexity of both machine learning algorithms and highly dynamic environments with significant uncertainties and disturbances, it is critical yet challenging to formally ensure the important properties of such learning-enabled systems, which hinders the adoption of machine learning in safety-critical scenarios, e.g., avionics systems and self-driving vehicles. In this seminar, I will introduce our recent work on certified reinforcement learning, i.e., providing safety and stability guarantees for reinforcement learning. First, we proposed safety verification techniques for a trained neural network based on Taylor model abstraction, i.e., design-then-verification. Then we integrated the verification techniques with the learning process, such that the properties can be automatically satisfied by learning itself, i.e., design-while-verify. We show by experiments that our approaches can significantly outperform the state of the arts regarding safety and stability. We believe our work is an important step towards a safe AI future.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1116
LOCATION:
END:VEVENT
END:VCALENDAR