TY  - RPRT
TI  - Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
AU  - Can Zhou
AU  - Yulong Gao
AU  - Pian Yu
PY  - 2026
UR  - https://arxiv.org/abs/2605.12581
ID  - 2605.12581
ER  -