Provably Efficient Reward-Agnostic Navigation with Linear Value Iteration - Zanette, Andrea; Lazaric, Alessandro; Kochenderfer, Mykel J; Brunskill, Emma (Advances in Neural Information Processing Systems, 2020)