On Expected Neighbor Discovery Time With Prior Information: Modeling, Bounds and Optimization | IEEE Journals & Magazine | IEEE Xplore