Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning

Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya

We propose a novel constrained reinforcement learning method for finding optimal policies in Markov Decision Processes while satisfying temporal logic constraints with a desired pr…