Discovering Options for Exploration by Minimizing Cover Time — arXiv2