Reinforcement Learning and Temporal Logic
Completion requirements
PDF
Click rl_tl.pdf link to view the file.