TY  - RPRT
TI  - Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition
AU  - Mo Chen
AU  - Sylvia Herbert
AU  - Claire J. Tomlin
PY  - 2016
UR  - https://arxiv.org/abs/1609.05248
ID  - 1609.05248
ER  -