| Title | Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Fan C, Qi B, Mitra S, Viswanathan M, Duggirala PSridhar |
| Conference Name | Computer Aided Verification - 28th International Conference, (CAV) |
| Publisher | Springer, Cham |
| Conference Location | Toronto, ON, Canada |
| URL | http://link.springer.com/10.1007/978-3-319-41528-4{\_}29 |
| DOI | 10.1007/978-3-319-41528-4_29 |
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Submitted by chuchu@mit.edu on