SPECIFICATION-GUIDED REINFORCEMENT LEARNING