@misc{indiciae3711c4b5e271,
  title = {Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints},
  author = {Krishna C. Kalagarla and Dhruva Kartik and Dongming Shen and Rahul Jain and Ashutosh Nayyar and Pierluigi Nuzzo},
  year = {2022},
  url = {https://arxiv.org/abs/2203.09038},
  note = {Source identifier: 2203.09038}
}