Resilient Branching MPC for Multi-Vehicle Traffic Scenarios Using Adversarial Disturbance Sequences | IEEE Journals & Magazine | IEEE Xplore