Kartik Dhruva

Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints

Autonomous agents often operate in environments where the state is partially observed. In addition to maximizing their cumulative reward, agents must execute complex tasks with rich temporal and logical structures. These tasks can be expressed using temporal logic languages like finite linear tempo…