Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes

Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic

This paper proposes a reinforcement learning method for controller synthesis of autonomous systems in unknown and partially-observable environments with subjective time-dependent s…