A complete greedy algorithm for infinite-horizon sensor scheduling. (July 2017)