Now showing items 1-1 of 1

    • Deep Reinforcement Learning with Temporal Logic Specifications 

      Gao, Qitong (2018)
      In this thesis, we propose a model-free reinforcement learning method to synthesize control policies for mobile robots modeled by Markov Decision Process (MDP) with unknown transition probabilities that satisfy Linear Temporal ...