Lagrangian Reachabililty

Article Details
Title:	Lagrangian Reachabililty
Article URLs:	https://doi.org/10.1007/978-3-319-63387-9_19
Alternative Article URLs:
Authors:	Jacek Cyranka	Rutgers University
	Md. Ariful Islam	Carnegie Mellon University
	Greg Byrne	Metron Inc.
	Paul L. Jones	US Food and Drug Administration
	Scott A. Smolka	Stony Brook University
	Radu Grosu	Vienna University of Technology
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.cs.cmu.edu/∼mdarifui/cav_codes.html
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1447549, 1446832, 1446725, 1445770, 1430010
DBLP Key:	conf/cav/CyrankaIBJSG17
Author Comments:

Computer Aided Verification, CAV 2017