Two algorithms for a reachability problem in one-dimensional space | IEEE Journals & Magazine | IEEE Xplore