Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

April 16, 2019

has restriction

closed

Date in CU Experts

February 1, 2020 6:41 AM

Full Author List

Dutta S; Chen X; Sankaranarayanan S

author count

3

citation count

82

presented at event

22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/3302504.3311807

Additional Document Info

start page

157

end page

168