Contingency Planning for Autonomous Vehicles Using Mixed-Integer Programming | AMiner