Dutta, Souradeep, Xin Chen, and Sriram Sankaranarayanan. "Reachability analysis for neural feedback systems using regressive polynomial rule inference." Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. 2019.

Lecture on Open Problems by Prof. C. Liu slides