Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning

Derya Aksaray, Yasin Yazicioglu, Ahmet Semi Asarkaya. Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 6531-6537, IEEE, 2021. [doi]

Abstract

Abstract is missing.