Theoretical results on reinforcement learning with temporally abstract options | doi.page