Policy Synthesis and Reinforcement Learning for Discounted LTL

Rajeev Alur, Osbert Bastani, Kishor Jothimurugan +3

The difficulty of manually specifying reward functions has led to an interest in using linear temporal logic (LTL) to express objectives for reinforcement learning (RL). However, L…