Tag: Hongkai Dai

Creating and verifying stable AI-controlled systems in a rigorous and flexible way

Creating and verifying stable AI-controlled systems in a rigorous and flexible wayCreating and verifying stable AI-controlled systems in a rigorous and flexible way

Neural networks have made a seismic impact on how engineers design controllers for robots, catalyzing more adaptive and efficient machines. Still, these brain-like machine-learning systems are a double-edged sword: Their [...]