Lagrangian Reachabililty.

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu

Browse the full CAV paper archive.