Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.

Authors :: Fan, Chuchu
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
Duggirala, Parasara Sridhar
Source :: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I; 2016, p531-538, 8p
Publication Year :: 2016

Language :: English
ISBNs :: 9783319415277
Database :: Complementary Index
Journal :: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Publication Type :: Book
Accession number :: 119700090
Full Text :: https://doi.org/10.1007/978-3-319-41528-4_29