Verification of Cooperative Maneuvers in FlightGear using MPC and Backwards Reachable Sets | IEEE Conference Publication | IEEE Xplore