Gap feasibility with and without adaption for autonomous vehicle's lane changing: a forward-backward reachability approach | IEEE Conference Publication | IEEE Xplore