Lagrangian Reachabililty
| Title | Lagrangian Reachabililty |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu |
| Conference Name | Computer Aided Verification - 29th International Conference, CAV 2017 Proceedings, Part I |
| Keywords | 1446832 |
| DOI | 10.1007/978-3-319-63387-9_19 |
| Citation Key | CyrankaIBJSG17 |