Decomposed Reachability Analysis for Nonlinear Systems Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

November 29, 2016

Date in CU Experts

May 9, 2017 1:05 AM

Full Author List

Chen X; Sankaranarayanan S

author count

2

citation count

40

presented at event

37th IEEE Real-Time Systems Symposium (RTSS) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/rtss.2016.33

Additional Document Info

start page

13

end page

24