Decomposed Reachability Analysis for Nonlinear Systems Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

November 29, 2016

has restriction

closed

Date in CU Experts

February 1, 2017 3:45 AM

Full Author List

Chen X; Sankaranarayanan S

author count

2

presented at event

2016 IEEE Real-Time Systems Symposium (RTSS) Conference

Other Profiles

Digital Object Identifier (DOI)

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

Additional Document Info

start page

13

end page

24