@misc{indiciaed6caf06db6ed,
  title = {Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives},
  author = {Can Zhou and Yulong Gao and Pian Yu},
  year = {2026},
  url = {https://arxiv.org/abs/2605.12581},
  note = {Source identifier: 2605.12581}
}