TY  - GENERIC
DO  - 10.20944/preprints201904.0302.v1
UR  - http://dx.doi.org/10.20944/preprints201904.0302.v1
TI  - Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density
T2  - Preprints
AU  - Kıvılcım, Aysegul
AU  - Karabacak, Ozkan
AU  - Wisniewski, Rafael
PY  - 2019
DA  - 2019/04/28
PB  - Preprints