Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates - Sreedharan, Sarath; Katz, Michael (Advances in Neural Information Processing Systems, 2023)