MIT

Building Safe Autonomy

Main menu

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

Title

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

Publication Type

Conference Paper

Year of Publication

2016

Authors

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

http://dx.doi.org/10.1007/978-3-319-41528-4_29