Efficient Verification of Control Systems with Neural Network Controllers. - Guoqing Yang; Guangyi Qian; Pan Lv; Hong Li (ICVISP, 2019)