TY - RPRT TI - Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints AU - Krishna C. Kalagarla AU - Dhruva Kartik AU - Dongming Shen AU - Rahul Jain AU - Ashutosh Nayyar AU - Pierluigi Nuzzo PY - 2022 UR - https://arxiv.org/abs/2203.09038 ID - 2203.09038 ER -