Homer: Provable Exploration in Reinforcement Learning
hunch.net