Verification-Guided Safe Reinforcement Learning

4^th May 2023, 13:00 Meeting Room 101 Ashton Building 1st Floor
Chao Huang
University of Liverpool

Biography

I am lecturer of Computer Science at the University of Liverpool, UK. My research interests include formal verification and design of various intelligent systems with provable guarantees, including Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems, and various applications, such as autonomous driving and mobile robot navigation.