%0 Conference Paper
%B Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}
%D 2017
%G eng
%R 10.1007/978-3-319-63387-9_19
%T Lagrangian Reachabililty