Staff Lead researchers Dr Chao Huang Associate Professor Research interests Reinforcement Learning Formal Methods Design Automation for Cyber Physical Systems Connect with Chao Email: Chao.Huang@soton.ac.uk Research outputs