Reachability analysis for neural feedback systems using regressive polynomial rule inference

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan. Reachability analysis for neural feedback systems using regressive polynomial rule inference. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 157-168, ACM, 2019. [doi]

Authors

Souradeep Dutta

This author has not been identified. Look up 'Souradeep Dutta' in Google

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Sriram Sankaranarayanan

This author has not been identified. It may be one of the following persons: Look up 'Sriram Sankaranarayanan' in Google