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]
@inproceedings{DuttaCS19,
title = {Reachability analysis for neural feedback systems using regressive polynomial rule inference},
author = {Souradeep Dutta and Xin Chen and Sriram Sankaranarayanan},
year = {2019},
doi = {10.1145/3302504.3311807},
url = {https://doi.org/10.1145/3302504.3311807},
researchr = {https://researchr.org/publication/DuttaCS19},
cites = {0},
citedby = {0},
pages = {157-168},
booktitle = {Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019},
editor = {Necmiye Ozay and Pavithra Prabhakar},
publisher = {ACM},
isbn = {978-1-4503-6282-5},
}