Reachability Analysis Plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles | IEEE Journals & Magazine | IEEE Xplore