Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints

Krishna C. Kalagarla, Dhruva Kartik, Dongming Shen +3

Autonomous agents often operate in scenarios where the state is partially observed. In addition to maximizing their cumulative reward, agents must execute complex tasks with rich t…