Lagrangian Reachability
| Title | Lagrangian Reachability |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu |
| Conference Name | International Conference on Computer Aided Verification (CAV 2017) |
| Publisher | Springer LNCS 10426 |
| Keywords | 1330014 |
| Citation Key | Cyranka17cav |