Predictive Threat Assessment via Reachability Analysis and Set Invariance Theory | IEEE Journals & Magazine | IEEE Xplore