Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching | IEEE Conference Publication | IEEE Xplore