Exact and efficient Hamilton-Jacobi guaranteed safety analysis via system decomposition.

Mo Chen, Sylvia L. Herbert, Claire J. Tomlin

Browse the full ICRA paper archive.