Neural Network Verification for the Masses (of AI graduates)

Ekaterina Komendantskaya, Rob Stewart, Kirsy Duncan +3

Rapid development of AI applications has stimulated demand for, and has given rise to, the rapidly growing number and diversity of AI MSc degrees. AI and Robotics research communit…