Robotics and Autonomous Systems Series
Verification-Guided Safe Reinforcement Learning
4th 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.
Maintained by Matt webster